Publications

• MALACARIA P, TAUTCHNING M and DISTEFANO D (2016). Information leakage analysis of complex C code and its application to OpenSSL. 7th International Symposium on Leveraging Applications 10 Oct 2016 - 14 Oct 2016. 
  DOI 10.1007/978-3-319-47166-2_63

  QMRO
  
  05-10-2016
• KHOUZANI MHR, MALACARIA P, HANKIN C, FIELDER A and SMERALDI F (2016). Efficient Numerical Frameworks for Multi-Objective Cyber Security Planning. European Symposium on Research in Computer Security (ESORICS) 2016 26 Sep 2016 - 30 Sep 2016. 
  DOI 10.1007/978-3-319-45741-3_10

  QMRO
  
  15-09-2016
• Khouzani MHR and Malacaria P (2016). Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design. 2016 IEEE 29th Computer Security Foundations Symposium (CSF). 
  DOI 10.1109/csf.2016.12

  QMRO
  
  08-08-2016
• Pasareanu CS, Phan Q-S and Malacaria P (2016). Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. 2016 IEEE 29th Computer Security Foundations Symposium (CSF). 
  DOI 10.1109/csf.2016.34

  QMRO
  
  08-08-2016
• Fielder A, Panaousis E, Malacaria P, Hankin C and Smeraldi F (2016). Decision support approaches for cyber security investment. Decision Support Systems vol. 86, 13-23.  
  DOI 10.1016/j.dss.2016.02.012

  QMRO
  
  19-03-2016
• Hu R and Yoshida N (2016). Hybrid Session Verification Through Endpoint API Generation. 
  DOI 10.1007/978-3-662-49665-7_24
  
  01-01-2016
• 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 (2016). Behavioral Types in Programming Languages. Foundations and Trends® in Programming Languages, Now Publishers vol. 3 (2-3), 95-230.  
  DOI 10.1561/2500000031
  
  01-01-2016