Publications

• MALACARIA P, Phan Q-S, Pasareanu C, Bang L and Bultan T (2017). Synthesis of Adaptive Side-Channel Attacks. 2017 IEEE Computer Security Foundations Symposium (CSF) 21 Aug 2017 - 25 Aug 2017. 
  DOI 10.1109/CSF.2017.8

  QMRO
  
  25-09-2017
• Roth M (2017). Counting restricted homomorphisms via möbius inversion over matroid lattices. 
  DOI 10.4230/LIPIcs.ESA.2017.63
  
  01-09-2017
• Khouzani M and Malacaria P (2017). Leakage-Minimal Design: Universality, Limitations, and Applications. 2017 IEEE 30th Computer Security Foundations Symposium (CSF). 
  DOI 10.1109/csf.2017.40

  QMRO
  
  01-08-2017
• Scalas A, Dardha O, Hu R and Yoshida N (2017). A linear decomposition of multiparty sessions for safe distributed programming. 
  DOI 10.4230/LIPIcs.ECOOP.2017.24
  
  01-06-2017
• Phan Q-S, Bang L, Pasareanu CS, Malacaria P and Bultan T (2017). Synthesis of Adaptive Side-Channel Attacks. IACR Cryptology ePrint Archive vol. 2017, 401-401.  
  QMRO
  
  09-05-2017
• Curticapean R, Dell H and Roth M (2017). Counting edge-injective homomorphisms and matchings on restricted graph classes. 
  DOI 10.4230/LIPIcs.STACS.2017.25
  
  01-03-2017
• Brand C, Dell H and Roth M (2017). Fine-grained dichotomies for the Tutte plane and Boolean #CSP. 
  DOI 10.4230/LIPIcs.IPEC.2016.9
  
  01-02-2017
• Brand C and Roth M (2017). Parameterized Counting of Trees, Forests and Matroid Bases. 
  DOI 10.1007/978-3-319-58747-9_10
  
  01-01-2017
• Hu R and Yoshida N (2017). Explicit Connection Actions in Multiparty Session Types. 
  DOI 10.1007/978-3-662-54494-5_7
  
  01-01-2017