Publications

 
  • Selection Equilibria of Higher-Order Games
    Hedges J Oliva P Shprits E Winschel V Zahn P
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES. vol. 10137, 136-151.  
    17-12-2016
  • Bar recursion over finite partial functions
    Oliva P Powell T
    Annals of Pure and Applied Logic vol. 168 (5), 887-921.  
    09-11-2016
  • Information leakage analysis of complex C code and its application to OpenSSL
    MALACARIA P TAUTCHNING M 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 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
    MALACARIA P Khouzani MHR
    29th IEEE Computer Security Foundations Symposium Lisbon 27 Jun 2016 - 1 Jul 2016. 
    01-07-2016
  • Decision support approaches for cyber security investment
    Fielder A Panaousis E Malacaria P Hankin C Smeraldi F
    Decision Support Systems vol. 86, 13-23.  
    19-03-2016
  • Behavioral Types in Programming Languages
    Ancona D Bono V Bravetti M Campos J Castagna G Deniélou P-M Gay SJ Gesbert N et al.
    Foundations and Trends® in Programming Languages, Now Publishers vol. 3 (2-3), 95-230.  
    01-01-2016
  • Hybrid Session Verification Through Endpoint API Generation
    Hu R Yoshida N
    Lecture Notes in Computer Science. vol. 9633, 401-418.  
    01-01-2016