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. 
  DOI 10.1109/CSF.2017.8

  QMRO
  
  25-09-2017
• Counting restricted homomorphisms via möbius inversion over matroid lattices
  Roth M
  Leibniz International Proceedings in Informatics, LIPIcs. vol. 87 
  DOI 10.4230/LIPIcs.ESA.2017.63
  
  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.  
  DOI 10.1109/csf.2017.40

  QMRO
  
  01-08-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.  
  DOI 10.4230/LIPIcs.ECOOP.2017.24
  
  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.  
  QMRO
  
  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 
  DOI 10.4230/LIPIcs.STACS.2017.25
  
  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 
  DOI 10.4230/LIPIcs.IPEC.2016.9
  
  01-02-2017
• Parameterized Counting of Trees, Forests and Matroid Bases
  Brand C and Roth M
  Lecture Notes in Computer Science. vol. 10304, 85-98.  
  DOI 10.1007/978-3-319-58747-9_10
  
  01-01-2017
• Explicit Connection Actions in Multiparty Session Types
  Hu R and Yoshida N
  Lecture Notes in Computer Science. vol. 10202, 116-133.  
  DOI 10.1007/978-3-662-54494-5_7
  
  01-01-2017