Hassen Saïdi

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 4

Top Topics

Automated Tools

Context Sensitive

Top Venues

Publications

Hassen Saïdi, Susmit Jha, Tuhin Sahai
math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. CoRR (2023)
Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. CoRR (2020)
Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. ACNS (2) (2020)
Loic Gelle, Hassen Saïdi, Ashish Gehani
Wholly!: A Build System For The Modern Software Stack. FMICS (2018)
Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. CAV (2012)
Rubin Xu, Hassen Saïdi, Ross J. Anderson
Aurasium: Practical Policy Enforcement for Android Applications. USENIX Security Symposium (2012)
Hassen Saïdi
Security implications of Android: a closed system, open software mobile platform. SPSM@CCS (2011)
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
Homogeneity as an Advantage: It Takes a Community to Protect an Application. CollSec (2010)
Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran
An Analysis of the iKee.B iPhone Botnet. MobiSec (2010)
Phillip A. Porras, Hassen Saïdi
A Foray into Conficker's Logic and Rendezvous Points. LEET (2009)
Monirul I. Sharif, Vinod Yegneswaran, Hassen Saïdi, Phillip A. Porras, Wenke Lee
Eureka: A Framework for Enabling Static Malware Analysis. ESORICS (2008)
Hassen Saïdi
Guarded models for intrusion detection. PLAS (2007)
Hassen Saïdi
Discovering Symmetries. FMICS/PDMC (2006)
Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre
Using Model Checking to Assess the Dependability of Agent-Based Systems. IEEE Intell. Syst. 19 (5) (2004)
Hassen Saïdi, Bruno Dutertre, Joshua Levy, Alfonso Valdes
Self-regenerative software components. SSRS@CCS (2003)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
Dependable Intrusion Tolerance: Technology Demo. DISCEX (2) (2003)
Hassen Saïdi, Victoria Stavridou, Bruno Dutertre
Protocol Codesign. Security Protocols Workshop (2003)
Joshua Levy, Hassen Saïdi, Tomás E. Uribe
Combining Monitors for Runtime System Verification. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Alfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe
An Architecture for an Adaptive Intrusion-Tolerant Server. Security Protocols Workshop (2002)
Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar
A Technique for Invariant Generation. TACAS (2001)
Hassen Saïdi
Intrusion-Tolerant Group Management in Enclaves. Security Protocols Workshop (2001)
Bruno Dutertre, Hassen Saïdi, Victoria Stavridou
Intrusion-Tolerant Group Management in Enclaves. DSN (2001)
Hassen Saïdi
Model Checking Guided Abstraction and Analysis. SAS (2000)
Hassen Saïdi, Natarajan Shankar
Abstract and Model Check While You Prove. CAV (1999)
Hassen Saïdi
Modular and Incremental Analysis of Concurrent Software Systems. ASE (1999)
David Lesens, Hassen Saïdi
Abstraction of parameterized networks. INFINITY (1997)
Susanne Graf, Hassen Saïdi
Construction of Abstract State Graphs with PVS. CAV (1997)
Hassen Saïdi
The Invariant Checker: Automated Deductive Verification of Reactive Systems. CAV (1997)
Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi
Powerful Techniques for the Automatic Generation of Invariants. CAV (1996)
Hassen Saïdi
A Tool for Proving Invariance Properties of Concurrent Systems Automatically. TACAS (1996)
Susanne Graf, Hassen Saïdi
Verifying Invariants Using theorem Proving. CAV (1996)