Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 4 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Title is O  [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   [Show ALL]
Y
Yu, Y., T. Tun, A. Tedeschi, V. N. L. Franqueira, and B. Nuseibeh, "OpenArgue: supporting argumentation to evolve secure software systems", 2011 IEEE 19th International Requirements Engineering Conference, Trento, Italy, IEEE, pp. 351–352, August 2011. Abstract

ISBN: 978-1-4577-0924-1

M
Massacci, F., F. Bouquet, E. Fourneret, J. Jürjens, M. S. Lund, S. Madelénat, J. T. Muehlberg, F. Paci, S. Paul, F. Piessens, et al., "Orchestrating Security and System Engineering for Evolving Systems", ServiceWave, pp. 134-143, 2011.
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.
F
Fontaine, A., S. Hym, and I. Simplot-Ryl, "On-Device Control Flow Verification for Java Programs", Proc. of ESSoS’11, ACM/IEEE 3rd International Symposium on Engineering Secure Software and Systems, 2011.