Powerful Techniques for the Automatic Generation of Invariants. - Saddek Bensalem; Yassine Lakhnech; Hassen Saïdi (CAV, 1996)

Verifying Invariants Using theorem Proving. - Susanne Graf; Hassen Saïdi (CAV, 1996)

A Tool for Proving Invariance Properties of Concurrent Systems Automatically. - Hassen Saïdi (TACAS, 1996)

Construction of Abstract State Graphs with PVS. - Susanne Graf; Hassen Saïdi (CAV, 1997)

The Invariant Checker: Automated Deductive Verification of Reactive Systems. - Hassen Saïdi (CAV, 1997)

Abstraction of parameterized networks. - David Lesens; Hassen Saïdi (INFINITY, 1997)

Abstract and Model Check While You Prove. - Hassen Saïdi; Natarajan Shankar (CAV, 1999)

Modular and Incremental Analysis of Concurrent Software Systems. - Hassen Saïdi (ASE, 1999)

Model Checking Guided Abstraction and Analysis. - Hassen Saïdi (SAS, 2000)

Intrusion-Tolerant Group Management in Enclaves. - Bruno Dutertre; Hassen Saïdi; Victoria Stavridou (DSN, 2001)

Intrusion-Tolerant Group Management in Enclaves. - Hassen Saïdi (Security Protocols Workshop, 2001)

A Technique for Invariant Generation. - Ashish Tiwari 001; Harald Rueß; Hassen Saïdi; Natarajan Shankar (TACAS, 2001)

An Architecture for an Adaptive Intrusion-Tolerant Server. - Alfonso Valdes; Magnus Almgren; Steven Cheung; Yves Deswarte; Bruno Dutertre; Joshua Levy; Hassen Saïdi; Victoria Stavridou; Tomás E. Uribe (Security Protocols Workshop, 2002)

Combining Monitors for Runtime System Verification. - Joshua Levy; Hassen Saïdi; Tomás E. Uribe (RV@FLoC, 2002)

Self-regenerative software components. - Hassen Saïdi; Bruno Dutertre; Joshua Levy; Alfonso Valdes (SSRS@CCS, 2003)

Dependable Intrusion Tolerance: Technology Demo. - Alfonso Valdes; Magnus Almgren; Steven Cheung; Yves Deswarte; Bruno Dutertre; Joshua Levy; Hassen Saïdi; Victoria Stavridou; Tomás E. Uribe (DISCEX (2), 2003)

Protocol Codesign. - Hassen Saïdi; Victoria Stavridou; Bruno Dutertre (Security Protocols Workshop, 2003)

Using Model Checking to Assess the Dependability of Agent-Based Systems. - Robert A. Riemenschneider; Hassen Saïdi; Bruno Dutertre (IEEE Intell. Syst., 2004)

Discovering Symmetries. - Hassen Saïdi (FMICS/PDMC, 2006)

Guarded models for intrusion detection. - Hassen Saïdi (PLAS, 2007)

Eureka: A Framework for Enabling Static Malware Analysis. - Monirul Islam Sharif; Vinod Yegneswaran; Hassen Saïdi; Phillip A. Porras; Wenke Lee (ESORICS, 2008)

A Foray into Conficker's Logic and Rendezvous Points. - Phillip A. Porras; Hassen Saïdi (LEET, 2009)

An Analysis of the iKee.B iPhone Botnet. - Phillip A. Porras; Hassen Saïdi; Vinod Yegneswaran (MobiSec, 2010)

Homogeneity as an Advantage: It Takes a Community to Protect an Application. - Linda Briesemeister; Steven Dawson; Patrick Lincoln; Hassen Saïdi; Jim Thornton; Glenn Durfee; Peter C. S. Kwan; Elizabeth Stinson; Adam J. Oliner; John C. Mitchell (CollSec, 2010)

Security implications of Android: a closed system, open software mobile platform. - Hassen Saïdi (SPSM@CCS, 2011)

Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. - Matthew Fredrikson; Richard Joiner; Somesh Jha; Thomas W. Reps; Phillip A. Porras; Hassen Saïdi; Vinod Yegneswaran (CAV, 2012)

Aurasium: Practical Policy Enforcement for Android Applications. - Rubin Xu; Hassen Saïdi; Ross J. Anderson (USENIX Security Symposium, 2012)

Wholly!: A Build System For The Modern Software Stack. - Loic Gelle; Hassen Saïdi; Ashish Gehani (FMICS, 2018)

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. - Karim Eldefrawy; Michael E. Locasto; Norrathep Rattanavipanon; Hassen Saïdi (ACNS (2), 2020)

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. - Karim Eldefrawy; Michael E. Locasto; Norrathep Rattanavipanon; Hassen Saïdi (CoRR, 2020)

math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. - Hassen Saïdi; Susmit Jha; Tuhin Sahai (CoRR, 2023)