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