Characteristic cycles of constructible sheaves and microlocalization

For a constructible sheaf on a smooth scheme over a field of positive characteristic, the singular support and the characteristic cycle are defined on the cotangent bundle. We study if a construction using the microlocalization similar to that in a transcendental setting due to Kashiwara–Schapira works in the algebraic setting and prove partial positive results.