What I do:    Teacher,                      Grenoble Alpes University Researcher,                 VERIMAG Laboratory Address:    VERIMAG (office 278) Bâtiment IMAG 150 Place du Torrent Domaine Universitaire - 38401 St Martin d'Heres FRANCE   Cristian.Ene[at]univ-grenoble-alpes.fr      where [at] is @    +33 (0)4 57 42 22 14

(Internships) 

 Some Works:

• Function Synthesis for Maximizing Model Counting (conference version in Verification, Model Checking, and Abstract Interpretation 2024 link ).
• BaxMC : a CEGAR approach to Max#SAT (conference version in Formal Methods in Computer-Aided Design, FMCAD 2022 link ).
• Output-sensitive Information flow analysis (journal version in Logical Methods in Computer Science, 2021 link ).
• Countermeasures Optimization in Multiple Fault-Injection Context (conference version in Workshop on Fault Detection and Tolerance in Cryptography, FDTC 2020 link ).
• Output-sensitive Information flow analysis (conference version in Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 link ).
• On the existence and decidability of unique decompositions of processes in the applied pi-calculus (journal version in Theoretical Computer Science, 2016 .pdf ).
• CIL security proof for a password-based key exchange (conference version in Provable Security, 2013 .pdf ).
• On unique decomposition of processes in the applied pi-calculus (conference version in FoSSaCS 2013 .pdf ).
• Automated Proofs for Asymmetric Encryption (journal version in Journal of Automated Reasoning, 2011 .pdf ).
• Formal Indistinguishability extended to the Random Oracle Model (conference version in ESORICS'09 .pdf ).
• Computationally sound typing for Non-Interference: The case of deterministic encryption (conference version in FSTTCS'07 .pdf ).
• A symbolic decision procedure for cryptographic protocols with time stamps (conference version in CONCUR'04 .ps ).
• On the existence of an effective and complete inference system for cryptographic protocols (conference version in FOSSACS'04 .ps ).
• Testing Theories for Broadcasting Processes ISPDC'02. (.ps.gz, .pdf )
• A Broadcast-based Calculus for Communicating Systems extended version of FMPPTA'01. (.ps.gz , .pdf )
• Un modèle formel pour les systèmes mobiles à diffusion PhD thesis, 2001(in french). ( .ps.gz, .pdf )

 Quelques cours:

• Crypto Engineering - verifying security protocols (Part of Cryptographic engineering, protocols and security models, data privacy, coding and applications Unit Course).
• Algorithmique
• Langage et Programmation
• Sémantique des Langages de Programmation et Compilation
• INF 404 - Projet Logiciel
• Modélisation des structures informatiques (2007-2017).