Hassen Saïdi

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