Publications

 
  • Synthesis of Adaptive Side-Channel Attacks
    MALACARIA P, Phan Q-S, Pasareanu C, Bang L and 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
    Khouzani M and Malacaria P
    2017 IEEE 30th Computer Security Foundations Symposium (CSF)., 305-317.  
    01-08-2017
  • The Herbrand Functional Interpretation of the Double Negation Shift
    BORGES OLIVA P and 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 and 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 and 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, Dell H and 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, Dell H and Roth M
    Leibniz International Proceedings in Informatics, LIPIcs. vol. 63 
    01-02-2017
  • Explicit Connection Actions in Multiparty Session Types
    Hu R and Yoshida N
    Lecture Notes in Computer Science. vol. 10202, 116-133.  
    01-01-2017
  • Parameterized Counting of Trees, Forests and Matroid Bases
    Brand C and Roth M
    Lecture Notes in Computer Science. vol. 10304, 85-98.  
    01-01-2017