Publications
- Information leakage analysis of complex C code and its application to OpenSSL
MALACARIA P, TAUTCHNING M and DISTEFANO D
7th International Symposium on Leveraging Applications CORFU 10 Oct 2016 - 14 Oct 2016.
05-10-2016 - Efficient Numerical Frameworks for Multi-Objective Cyber Security Planning
KHOUZANI MHR, MALACARIA P, HANKIN C, FIELDER A and SMERALDI F
European Symposium on Research in Computer Security (ESORICS) 2016 Heraklion, Crete, Greece 26 Sep 2016 - 30 Sep 2016.
15-09-2016 - Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design
Khouzani MHR and Malacaria P
2016 IEEE 29th Computer Security Foundations Symposium (CSF)., 61-76.
08-08-2016 - Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT
Pasareanu CS, Phan Q-S and Malacaria P
2016 IEEE 29th Computer Security Foundations Symposium (CSF)., 387-400.
08-08-2016 - Decision support approaches for cyber security investment
Fielder A, Panaousis E, Malacaria P, Hankin C and Smeraldi F
Decision Support Systems vol. 86, 13-23.
19-03-2016 - Hybrid Session Verification Through Endpoint API Generation
Hu R and Yoshida N
Lecture Notes in Computer Science. vol. 9633, 401-418.
01-01-2016 - Behavioral Types in Programming Languages
Ancona D, Bono V, Bravetti M, Campos J, Castagna G, Deniélou P-M, Gay SJ, Gesbert N, Giachino E, Hu R, Johnsen EB, Martins F, Mascardi V, Montesi F, Neykova R, Ng N, Padovani L, Vasconcelos VT and Yoshida N
Foundations and Trends® in Programming Languages, Now Publishers vol. 3 (2-3), 95-230.
01-01-2016