Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 9 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: Author is F. Massacci  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
O
O. Gadyatskaya, F. Massacci, F. Paci, and S. Stankevich, "Java Card Architecture for Autonomous yet Secure Evolution of Smart Cards Applications", Nordsec 2010 Conference Program, Aalto University, Espoo, Finland, 10/2010.
N
N.Dragoni, O. Gadyatskaya, F. Massacci, and A. Philippov, "Algorithms for Security-by-Contract on Multi-Application Java Cards", Journal of Critical Computer-Based Systems, 2011.
M
Massacci, F., and V. H. Nguyen, "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.
Massacci, F., and I. Siahaan, "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.
Massacci, F., and F. Paci, "Secure Collaborative Systems", In Trustworthy Internet: Springer, 2011.
Massacci, F., S. Neuhaus, and V. H. Nguyen, "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.
K
Karsai, G., F. Massacci, L. J. Osterweil, and I. Schieferdecker, "Evolving Embedded Systems", IEEE Computer, vol. 43, issue 5, 5/2010.
G
Gadyatskaya, O., F. Massacci, F. Paci, E. Lostal, and N. Dragoni, "A Load Time Policy Checker for Open Multi-application Smart Cards", Policy symposium 2011, Pisa, 2011.
D
Dragoni, N., O. Gadyatskaya, and F. Massacci, "Supporting Software Evolution for Open Smart Cards by Security-by-Contract", Dependability and Computer Engineering: Concepts for Software-Intensive Systems: IGI , 2011.