Mourad Debbabi

Available identifiers

zbMath Open debbabi.mouradWikidataQ102110686 ScholiaQ102110686MaRDI QIDQ276467

List of research outcomes

Publication	Date of Publication	Type
Towards the correctness of security protocols	2016-05-03	Paper
Abstract Interpretation for Proving Secrecy Properties in Security Protocols	2013-07-24	Paper
A game-theoretic framework for specification and verification of cryptographic protocols	2010-11-22	Paper
Synergistic verification and validation of systems and software engineering models	2010-01-06	Paper
Interprocedural and flow-sensitive type analysis for memory and type safety of C code	2009-08-31	Paper
A Hybrid Approach for Safe Memory Management in C	2009-01-27	Paper
Execution monitoring enforcement under memory-limitation constraints	2008-04-16	Paper
Canonical quantization of non-anticommutative scalar field theory	2007-10-15	Paper
A selective dynamic compiler for embedded Java virtual machines targeting ARM processors	2006-10-19	Paper
A new logic for electronic commerce protocols	2003-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2767198	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4259960	1999-09-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mourad Debbabi