| 2026 | CAV | Show Me The Money: An Exercise in Proof-Driven Software Understanding. | Joseph Tafese, Karthik Nukala, Hassen Sadi, Natarajan Shankar, Arie Gurfinkel, Giuliano Losa |
| 2020 | ACNS | Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. | Karim Eldefrawy, Michael E. Locasto, Norrathep Rattanavipanon, Hassen Sadi |
| 2018 | FMICS | Wholly!: A Build System For The Modern Software Stack. | Loic Gelle, Hassen Sadi, Ashish Gehani |
| 2012 | CAV | Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. | Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Sadi, Vinod Yegneswaran |
| 2011 | CCS | Security implications of Android: a closed system, open software mobile platform. | Hassen Sadi |
| 2008 | ESORICS | Eureka: A Framework for Enabling Static Malware Analysis. | Monirul Islam Sharif, Vinod Yegneswaran, Hassen Sadi, Phillip A. Porras, Wenke Lee |
| 2007 | PLDI | Guarded models for intrusion detection. | Hassen Sadi |
| 2006 | FMICS | Discovering Symmetries. | Hassen Sadi |
| 2003 | CCS | Self-regenerative software components. | Hassen Sadi, Bruno Dutertre, Joshua Levy, Alfonso Valdes |
| 2001 | DSN | Intrusion-Tolerant Group Management in Enclaves. | Bruno Dutertre, Hassen Sadi, Victoria Stavridou |
| 2001 | TACAS | A Technique for Invariant Generation. | Ashish Tiwari, Harald Rue, Hassen Sadi, Natarajan Shankar |
| 2000 | SAS | Model Checking Guided Abstraction and Analysis. | Hassen Sadi |
| 1999 | CAV | Abstract and Model Check While You Prove. | Hassen Sadi, Natarajan Shankar |
| 1997 | CAV | Construction of Abstract State Graphs with PVS. | Susanne Graf, Hassen Sadi |
| 1997 | CAV | The Invariant Checker: Automated Deductive Verification of Reactive Systems. | Hassen Sadi |
| 1996 | CAV | Powerful Techniques for the Automatic Generation of Invariants. | Saddek Bensalem, Yassine Lakhnech, Hassen Sadi |
| 1996 | CAV | Verifying Invariants Using theorem Proving. | Susanne Graf, Hassen Sadi |
| 1996 | TACAS | A Tool for Proving Invariance Properties of Concurrent Systems Automatically. | Hassen Sadi |