M. Debbabi

MaRDI QIDQ276467zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards the correctness of security protocols	2016-05-03	Paper
Abstract interpretation for proving secrecy properties in security protocols Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
A game-theoretic framework for specification and verification of cryptographic protocols Formal Aspects of Computing	2010-11-22	Paper
Synergistic verification and validation of systems and software engineering models International Journal of General Systems	2010-01-06	Paper
Interprocedural and flow-sensitive type analysis for memory and type safety of C code Journal of Automated Reasoning	2009-08-31	Paper
A Hybrid Approach for Safe Memory Management in C Algebraic Methodology and Software Technology	2009-01-27	Paper
Execution monitoring enforcement under memory-limitation constraints Information and Computation	2008-04-16	Paper
Canonical quantization of non-anticommutative scalar field theory Physics Letters. A	2007-10-15	Paper
A selective dynamic compiler for embedded Java virtual machines targeting ARM processors Science of Computer Programming	2006-10-19	Paper
A new logic for electronic commerce protocols Theoretical Computer Science	2003-01-22	Paper
scientific article; zbMATH DE number 1696909 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1332634 (Why is no real title available?)	1999-09-08	Paper

Research outcomes over time

This page was built for person: M. Debbabi