Formal verification, software security, protocol and web-application analysis.
Marius Minea works at the intersection of formal verification, security, and software engineering. He uses formal methods to analyze the correctness and security of protocols, web applications, and services: modeling security properties and attacks, extracting verifiable models from programs, and detecting errors and vulnerabilities.
Minea joined the Manning College of Information and Computer Sciences (CICS) in 2018 and has been associate professor in the Department of Computer and Software Engineering at the Politehnica University of Timisoara, Romania. From 2000 to 2001 he worked as a postdoctoral researcher at the University of California, Berkeley.
Minea has coauthored papers that won Best Paper Awards at Euro-VHDL 1992 and 1994, and received a Romanian student-voted national teaching award ("Bologna Professor") in 2015. Marius was a PC co-chair for the International Conference on Risks and Security of Internet and Systems (CRiSIS) in 2010, and serves on the PC of conferences and as reviewer for journals in formal methods, security, and software engineering.