Juan Diego Campo
According to our database1,
Juan Diego Campo
authored at least 12 papers
between 2011 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2020
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory.
J. Autom. Reason., 2020
2019
J. Autom. Reason., 2019
2018
A formal approach for the verification of the permission-based security model of Android.
CLEI Electron. J., 2018
Proceedings of the IV School on Systems and Networks, 2018
2017
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017
2016
Sci. Ann. Comput. Sci., 2016
2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
2014
IACR Cryptol. ePrint Arch., 2014
2013
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013
2012
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
2011
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization.
Proceedings of the FM 2011: Formal Methods, 2011