Hassen Saïdi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2020

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic ExecutablesKarim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi. acns 2020: 364-384 [doi]

2018

Wholly!: A Build System For The Modern Software StackLoic Gelle, Hassen Saïdi, Ashish Gehani. fmics 2018: 242-257 [doi]

2012

Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction RefinementMatthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran. cav 2012: 548-563 [doi]

Aurasium: Practical Policy Enforcement for Android ApplicationsRubin Xu, Hassen Saïdi, Ross Anderson. uss 2012: 539-552 [doi]

2011

Security implications of Android: a closed system, open software mobile platformHassen Saïdi. ccs 2011: 87-88 [doi]

2010

Homogeneity as an Advantage: It Takes a Community to Protect an ApplicationLinda Briesemeister, Steven Dawson, Patrick Lincoln, Hassen Saïdi, Jim Thornton, Glenn Durfee, Peter C. S. Kwan, Elizabeth Stinson, Adam J. Oliner, John C. Mitchell. uss 2010: [doi]

2009

A Foray into Conficker's Logic and Rendezvous PointsPhillip A. Porras, Hassen Saïdi. leet 2009: [doi]

2008

Eureka: A Framework for Enabling Static Malware AnalysisMonirul I. Sharif, Vinod Yegneswaran, Hassen Saïdi, Phillip A. Porras, Wenke Lee. esorics 2008: 481-500 [doi]

2007

Guarded models for intrusion detectionHassen Saïdi. PLDI 2007: 85-94 [doi]

2006

Discovering SymmetriesHassen Saïdi. fmics 2007: 67-83 [doi]

2004

Using Model Checking to Assess the Dependability of Agent-Based SystemsRobert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre. expert, 19(5):62-70, 2004. [doi]

2003

2002

Combining Monitors for Runtime System VerificationJoshua Levy, Hassen Saïdi, Tomás E. Uribe. ENTCS, 70(4):112-127, 2002. [doi]

An Architecture for an Adaptive Intrusion-Tolerant ServerAlfonso Valdes, Magnus Almgren, Steven Cheung, Yves Deswarte, Bruno Dutertre, Joshua Levy, Hassen Saïdi, Victoria Stavridou, Tomás E. Uribe. ispw 2004: 158-178 [doi]

2001

Intrusion-Tolerant Group Management in EnclavesBruno Dutertre, Hassen Saïdi, Victoria Stavridou. dsn 2001: 203-214 [doi]

Intrusion-Tolerant Group Management in EnclavesHassen Saïdi. ispw 2002: 213-216 [doi]

A Technique for Invariant GenerationAshish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar. TACAS 2001: 113-127 [doi]

2000

Model Checking Guided Abstraction and AnalysisHassen Saïdi. SAS 2000: 377-396

1999

Modular and Incremental Analysis of Concurrent Software SystemsHassen Saïdi. ASE 1999: 92-101 [doi]

Abstract and Model Check While You ProveHassen Saïdi, Natarajan Shankar. cav 1999: 443-454 [doi]

1997

Construction of Abstract State Graphs with PVSSusanne Graf, Hassen Saïdi. cav 1997: 72-83

Abstraction of parameterized networksDavid Lesens, Hassen Saïdi. ENTCS, 9:42, 1997. [doi]

The Invariant Checker: Automated Deductive Verification of Reactive SystemsHassen Saïdi. cav 1997: 436-439

1996

Powerful Techniques for the Automatic Generation of InvariantsSaddek Bensalem, Yassine Lakhnech, Hassen Saïdi. cav 1996: 323-335

Verifying Invariants Using theorem ProvingSusanne Graf, Hassen Saïdi. cav 1996: 196-207

A Tool for Proving Invariance Properties of Concurrent Systems AutomaticallyHassen Saïdi. TACAS 1996: 412-416

1995

1994

Guaranteed Cell Sequence in Nonblocking Multi-channel SwitchingHassen Saïdi, Paul S. Min, Manju V. Hegde. infocom 1994: 1420-1427

Sign in or sign up to see more results.

runs on WebDSL