Appendix 2: CV & publications - KTH

Publication List 2006-2011 of M. F. Dam
1
According to the instructions, publications marked with "*" is a result of ACCESS
collaboration (ACCESS Faculty or Postdoc)
A. Peer-reviewed articles
[MFD-1] M. Dam, B. Jacobs, A. Lundblad, F. Piessens "Security Monitor Inlining and
Certification for Multithreaded Java," to appear in Mathematical Structures in
Computer Science (MSCS), Cambridge University Press
[MFD-2] M. Dam, B. Jacobs, A. Lundblad, F. Piessens: “Provably Correct Inline Monitoring
for Multi-threaded Java-like Programs”, Journal of Computer Security vol 18, number
1, pp. 37-59, 2010.
[MFD-3] F. Wuhib, M. Dam, R. Stadler, "A Gossiping Protocol for Detecting Global
Threshold Crossings", IEEE Transactions on Network and Service Management
(TNSM), Vol. 7, No. 1, March 2010, DOI 10.1109/T-WC.2008.I9P0329 *
[MFD-4] I. Aktug, M. Dam, D. Gurov: “Provably Correct Runtime Monitoring”, Journal of
Logic and Algebraic Programming. Volume 78, Issue 5, Pages 304-339 (May-June
2009).
[MFD-5] F. Wuhib, M. Dam, R. Stadler, A. Clemm "Robust Monitoring of Network-wide
Aggregates through Gossiping," IEEE Transactions on Network and Service
Management (TNSM), Vol. 6, No. 2, June 2009. *
[MFD-6] M. Cohen, M. Dam: “A Completeness result for BAN logic”, To appear in Journal
of Logic, Language, and Information.
[MFD-7] F. Wuhib, M. Dam, R. Stadler, A. Clemm. “Decentralized Detection of Global
Threshold Crossings Using Aggregation Trees.” Computer Networks 52 (2008) 1745–
1761 *
B. Peer-reviewed conference publications:
[MFD-8] D. Guerev, M. Dam: "An epistemic predicate CTL* for finite control pi-processes"
Proc. LAMAS 2011, to appear in Springer Lecture Notes in Computer Science, 2011
[MFD-9] M. Balliu and M. Dam and G. Le Guernic. Epistemic Temporal Logic for
Information Flow Security . In the Proc.of ACM SIGPLAN Programming Languages
and Analysis for Security (PLAS '11 ). San Jose, CA, USA. June 5, 2011
[MFD-10] G. Kreitz, D. Wikström, M. Dam: "Practical Private Information Aggregation in
Large Networks" Proc. NordSec 2010, to appear in Springer Lecture Notes in
Computer Science *
[MFD-11] K. Palmskog, A.G. Prieto, C. Meirosu, R. Stadler, M. Dam: "Scalable Metadata-
Directed Search in a Network of Information", in Proc. of the Future Network and
Mobile Summit, Florence, Italy, June 2010. *
[MFD-12] K. Jónsson, M. Dam: "Towards Flexible and Secure Distributed Aggregation", in
Mechanisms for Autonomous Management of Networks and Services, Proc. AIMS'10,