The following pages link to Mourad Debbabi (Q276467):
Displayed 12 items.
- Towards the correctness of security protocols (Q276469) (← links)
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code (Q835770) (← links)
- A new logic for electronic commerce protocols (Q1853749) (← links)
- Canonical quantization of non-anticommutative scalar field theory (Q2385750) (← links)
- Execution monitoring enforcement under memory-limitation constraints (Q2482440) (← links)
- A selective dynamic compiler for embedded Java virtual machines targeting ARM processors (Q2509343) (← links)
- (Q2767198) (← links)
- Abstract Interpretation for Proving Secrecy Properties in Security Protocols (Q2841216) (← links)
- Synergistic verification and validation of systems and software engineering models (Q3654541) (← links)
- (Q4259960) (← links)
- A Hybrid Approach for Safe Memory Management in C (Q5505437) (← links)