Publications

 
  • Synthesis of Adaptive Side-Channel Attacks
    MALACARIA P Phan Q-S Pasareanu C Bang L Bultan T
    2017 IEEE Computer Security Foundations Symposium (CSF) Santa Barbara (California) 21 Aug 2017 - 25 Aug 2017. 
    25-09-2017
  • Counting restricted homomorphisms via möbius inversion over matroid lattices
    Roth M
    Leibniz International Proceedings in Informatics Lipics. vol. 87 
    01-09-2017
  • Leakage-Minimal Design: Universality, Limitations, and Applications
    MALACARIA P Khouzani MHR
    30th IEEE Computer Security Foundations Symposium Santa Barbara 21 Aug 2017 - 25 Aug 2017. 
    25-08-2017
  • The Herbrand Functional Interpretation of the Double Negation Shift
    BORGES OLIVA P Escardo M
    The Journal of Symbolic Logic, Association For Symbolic Logic 
    19-06-2017
  • A linear decomposition of multiparty sessions for safe distributed programming
    Scalas A Dardha O Hu R Yoshida N
    Leibniz International Proceedings in Informatics Lipics. vol. 74, 241-2431.  
    01-06-2017
  • Synthesis of Adaptive Side-Channel Attacks.
    Phan Q-S Bang L Pasareanu CS Malacaria P Bultan T
    Iacr Cryptology Eprint Archive vol. 2017, 401-401.  
    09-05-2017
  • Counting edge-injective homomorphisms and matchings on restricted graph classes
    Curticapean R Roth M
    Leibniz International Proceedings in Informatics Lipics. vol. 66 
    01-03-2017
  • Fine-grained dichotomies for the Tutte plane and Boolean #CSP
    Brand C Roth M
    Leibniz International Proceedings in Informatics Lipics. vol. 63 
    01-02-2017
  • Explicit Connection Actions in Multiparty Session Types
    Hu R Yoshida N
    Lecture Notes in Computer Science. vol. 10202, 116-133.  
    01-01-2017
  • Parameterized Counting of Trees, Forests and Matroid Bases
    Brand C Roth M
    Lecture Notes in Computer Science. vol. 10304, 85-98.  
    01-01-2017