Michel St-Martin

According to our database, Michel St-Martin authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

A verified algorithm for detecting conflicts in XACML access control rules.

Michel St-Martin, Amy P. Felty

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016