Hanane Houmani

Identifiers

• name variant Hanane Houmani 0.60 · backfill

Papers (3)

1. Relaxed Conditions for Secrecy in a Role-Based Specification cs.CR · 2018 · author #3
2. Secrecy by Witness-Functions on Increasing Protocols cs.CR · 2018 · author #3
3. A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols cs.CR · 2014 · author #3

Mentions

• 1408.2774 #3 · backfill · confidence 0.70 Hanane Houmani

Frequent Coauthors

• Jaouhar Fattahi 3 shared papers
• Mohamed Mejri 3 shared papers