معرفی
Cristian Ene is a Researcher at Grenoble Alpes University and a member of the VERIMAG Laboratory. He holds a PhD in Computer Science (2001) from Grenoble Alpes University. His primary roles include teaching and conducting research in formal verification of cryptographic protocols, computer security, and distributed systems. He is actively involved in developing automated tools for cryptographic protocol analysis, such as contributions to the Tamarin Prover framework.
Research Interests: His work focuses on formal methods for verifying cryptographic systems, including model counting, security protocol analysis, and decidability in process calculi. He explores topics such as information flow control, fault-injection countermeasures, and automated theorem proving for asymmetric encryption.
Publications: His recent work spans formal verification techniques, optimization in Max#SAT solving (e.g., BaxMC), and cryptographic protocol analysis. Earlier contributions include foundational studies on process decomposition in π-calculus and formal security models in the random oracle framework.
Teaching: He teaches courses on cryptographic engineering, formal verification of security protocols, programming languages, and compiler design. Course materials include slides, assignments, and practical exercises using tools like Tamarin Prover.
Labs & Teams: He is affiliated with the VERIMAG Laboratory, which specializes in formal methods and embedded systems research. His work integrates theoretical foundations with practical applications in secure system design and automated verification.
