Ahmed Rezine

Identifiers

• name variant Ahmed Rezine 0.60 · backfill

Papers (3)

1. Safety Verification of Phaser Programs cs.PL · 2017 · author #2
2. Quantifying the Information Leak in Cache Attacks through Symbolic Execution cs.CR · 2016 · author #3
3. Ordered Counter-Abstraction cs.LO · 2012 · author #1

Mentions

• 1204.0131 #1 · backfill · confidence 0.70 Ahmed Rezine

Frequent Coauthors

• Andreas Zeller 1 shared papers
• Moritz Beck 1 shared papers
• Petru Eles 1 shared papers
• Sudipta Chattopadhyay 1 shared papers
• Zebo Peng 1 shared papers
• Zeinab Ganjei 1 shared papers