Publications
- Cogumbreiro T, Hu R, Martins F and Yoshida N (2018). Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Transactions on Programming Languages and Systems, Association for Computing Machinery (ACM) vol. 41 (1), 1-38.
11-12-2018 - MALACARIA P and KHOUZANI MHR (2018). Generalised Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage under Symmetric Constraints. IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers vol. 65 (2), 888-901.
28-11-2018 - Khouzani MHR and Malacaria P (2018). Information theory in game theory. Entropy vol. 20 (11)
05-11-2018 - Curticapean R, Dell H and Roth M (2018). Counting Edge-injective Homomorphisms and Matchings on Restricted Graph Classes. Theory of Computing Systems, Springer Nature vol. 63 (5), 987-1026.
31-10-2018 - Khouzani MHR and Malacaria P (2018). Optimal channel design: A game theoretical analysis. Entropy vol. 20 (9)
05-09-2018 - Malacaria P, Khouzani M, Pasareanu CS, Phan QS and Luckow K (2018). Symbolic side-channel analysis for probabilistic programs. 2018 IEEE Computer Security Foundations Symposium..
07-08-2018 - Malacaria P, Khouzani MHR, Pasareanu CS, Phan Q-S and Luckow KS (2018). Symbolic Side-Channel Analysis for Probabilistic Programs. IACR Cryptol. ePrint Arch. vol. 2018, 329-329.
09-07-2018 - Brand C, Dell H and Roth M (2018). Fine-Grained Dichotomies for the Tutte Plane and Boolean #CSP. Algorithmica, Springer Nature vol. 81 (2), 541-556.
22-06-2018 - Neykova R, Hu R, Yoshida N and Abdeljallal F (2018). A session type provider: compile-time API generation of distributed protocols with refinements in F#. Proceedings of the 27th International Conference on Compiler Construction.
24-02-2018 - Viering M, Chen T-C, Eugster P, Hu R and Ziarek L (2018). A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.
01-01-2018