Filters: Author is F. Massacci [Clear All Filters]
"Algorithms for Security-by-Contract on Multi-Application Java Cards", Journal of Critical Computer-Based Systems, 2011.
"Evolving Embedded Systems", IEEE Computer, vol. 43, issue 5, 5/2010.
"After-Life Vulnerabilities: A Study on Firefox Evolution, its Vulnerabilities and Fixes", Proceeding of the International Symposium on Engineering Secure Software and Systems (ESSoS)'11, Madrid, Spain, 2/2011.
"Which is the Right Source of Vulnerability Studies? An Empirical Analysis on Mozilla Firefox", International Workshop on Security Measurement and Metrics (MetriSec)'10, Bolzano-Bozen, Italy, 9/2010.
"Java Card Architecture for Autonomous yet Secure Evolution of Smart Cards Applications", Nordsec 2010 Conference Program, Aalto University, Espoo, Finland, 10/2010.
"A Load Time Policy Checker for Open Multi-application Smart Cards", Policy symposium 2011, Pisa, 2011.
"Optimizing IRM with Automata Modulo Theory", In the 5th International Workshop on Security and Trust Management (STM 2009), in conjunction with ESORICS 2009, Saint-Malo, 2009.
"Secure Collaborative Systems", In Trustworthy Internet: Springer, 2011.
"Supporting Software Evolution for Open Smart Cards by Security-by-Contract", Dependability and Computer Engineering: Concepts for Software-Intensive Systems: IGI , 2011.