Itsaka Rakotonirina
Principles Of Security and Privacy
I'm mostly working on the application of symbolic methods to security. See my homepage for more details!