Journal publications

• N. Bielova and F. Massacci. Iterative Enforcement by Suppression: Towards Practical Enforcement Theories.
  Journal of Computer Security (JCS), 2011. Accepted for publication. [Local PDF] [BIB]
  
  
• N. Bielova and F. Massacci. Do you really mean what you actually enforced? Edit Automata revisited.
  International Journal of Information Security (IJIS), 2011, DOI: 10.1007/s10207-011-0137-2. [LINK] [Local PDF] [BIB]
  
  
• N. Bielova, N. Dragoni, F. Massacci, K. Naliuka and I. Siahaan. Matching in Security-by-Contract for Mobile Code.
  Journal of Logic and Algebraic Programming (JLAP), Volume 78, Issue 5, Pages 340-358, 2009, DOI: 10.1016/j.jlap.2009.02.013. [LINK] [BIB]
  
  

Conference and workshop publications

• N. Bielova, D. Devriese, F. Massacci and F. Piessens. Reactive non-interference for a Browser Model.
  In Proceedings of the 5th International Conference on Network and System Security (NSS 2011). To appear. [PDF] [BIB]
  
  
• N. Bielova and F. Massacci. Computer-Aided Generation of Enforcement Mechanisms for Error-Tolerant Policies.
  In Proceedings of IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY'11). IEEE Computer Society Press, 2011. [PDF] [BIB]
  
  
• N. Bielova and F. Massacci. Predictability of Enforcement.
  In Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS'11). Springer LNCS, 2011. [PDF] [BIB]
  
  
• N. Bielova, F. Massacci and A. Micheletti. Towards Practical Enforcement Theories.
  In Proceedings of The 14th Nordic Conference on Secure IT Systems (NordSec'09). Springer LNCS, 2009. [PDF] [BIB]
  
  
• N. Bielova and F. Massacci. Do you really mean what you actually enforced? Edit Automata revisited.
  In Proceedings of The 5th International Workshop on Formal Aspects in Security and Trust (FAST'08), 2008. [PDF] [BIB]
  
  
• N. Bielova, M. Dalla Tore, N. Dragoni, and I. Siahaan. Matching Policies with Security Claims of Mobile Applications.
  In Proceedings of The 3rd International Conference on Availability, Reliability and Security (ARES'08). IEEE Computer Society Press, 2008. [PDF] [BIB]
  
  
• N. Bielova and I. Siahaan. Testing Decision Procedures for Security-by-Contract.
  In Proceedings of Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS-ARSPA-WITS'08), 2008. [PDF] [BIB]
  
  

Dissertations

• N. Bielova. A theory of constructive and predictable runtime enforcement mechanisms. PhD thesis.
  University of Trento. [Online] [BIB]
  

Technical reports

• N. Bielova, D. Devriese, F. Massacci and F. Piessens. Reactive non-interference for the browser: extended version.
  Department of Computer Science, K.U.Leuven, Tech. Rep. CW602, February 2011. [Online] [BIB]
  
  
• N. Bielova and F. Massacci. Do you really mean what you actually enforced? Edit Automata revisited.
  University of Trento, Tech. Rep. DISI-08-060, 2008. [PDF] [BIB]
  
  

Talks and seminars

• Conferences: ARES'2008, NordSec'2009, ESSoS'11, POLICY'11, NSS'11.
• Reactive non-interference for a Browser Model.
  at INRIA - Centre de Recherche Rennes - Bretagne Atlantique, and at ETH Zurich , October 2011.
• A theory of constructive and predictable runtime enforcement mechanisms.
  at CASED - Center for Advanced Security Research Darmstadt, TUDarmstadt, September 2011.
• Automatic transformation of high-level security policies into run-time enforcement mechanisms.
  at NESSoS research session, Oslo, Norway, June 2011.
• MASTER - A Way to Manage Compliance for the Enterprise.
  with Gabriela Gheorghe at DistriNet group, Katholieke Universiteit Leuven (KUL), Belgium, October 2010.
• Towards Practical Enforcement Theories.
  presentation at Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10), Paphos, Cyprus, March 2010 and seminar at SINTEF, Oslo, Norway, October 2009.
  
• Towards Practical Enforcement Theories: Extended Abstract.
  at short talk sessions during IEEE Symposium on Logic in Computer Science (LICS-CSF'09), Los Angeles, USA, August 2009. [PDF]
  
• Problems of runtime enforcement theory and towards practical enforcement theories.
  at CyLab, Carnegie Mellon University, Pittsburgh, USA, July 2009.