Publications
Conference and Workshop Papers
10.09.2012 Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. Proceedings of the European Symposium on Research in Computer Security (ESORICS 2012), Pisa, Italy.
12.09.2011 Multi-run security. Proceedings of the European Symposium on Research in Computer Security (ESORICS 2011), Leuven, Belgium.
05.06.2011 Differential Privacy with Information Flow Control. ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security (PLAS 2011), San Jose, CA.
05.06.2011 Capabilities for Information Flow. ACM SIGPLAN Sixth Workshop on Programming Languages and Analysis for Security (PLAS 2011), San Jose, CA.
20.04.2011 Decompositional Reasoning about the History of Parallel Processes. Proceedings of the 4th International on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran. PDF links to extended version TU/e Technical Report.
17.12.2010 Unifying Facets of Information Integrity. Sixth International Conference on Information Systems Security (ICISS 2010), Gandhinagar, India.
15.06.2009 An Implementation and Semantics for Transactional Memory Introspection in Haskell. ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009), Dublin, Ireland.
15.04.2009 Rule Formats for Determinism and Idempotency. LNCS proceedings of Fundamentals of Software Engineering 2009.
27.10.2008 Enforcing Authorization Policies using Transactional Memory Introspection. CCS’08: Proceedings of the 15th ACM Conference on Computer and Communications Security. Alexandria, Virginia; October 27-31, 2008
Journal Papers
31.03.2010 Rule Formats for Determinism and Idempotency (journal version). To appear in a Special Issue of Science of Computer Programming devoted to FSEN 2009. Guest editors Farhad Arbab and Marjan Sirjani
Technical reports
28.10.2008 An Implementation and Semantics for Transactional Memory Introspection in Haskell. RU Technical Report CS08007. (superseded by workshop paper above)
