Volgen
Dr. Hassen Saidi
Dr. Hassen Saidi
Sr Computer Scientist, SRI International
Geverifieerd e-mailadres voor csl.sri.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Construction of abstract state graphs with PVS
S Graf, H Saidi
CAV 97, 72-83, 1997
19841997
Aurasium: practical policy enforcement for android applications.
R Xu, H Saïdi, RJ Anderson
USENIX security symposium 2012, 2012
6092012
Abstract and model check while you prove
H Saïdi, N Shankar
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
2501999
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000
2492000
A multi-perspective analysis of the storm (peacomm) worm
P Porras, H Saidi, V Yegneswaran
Technical report, Computer Science Laboratory, SRI International, 2007
2022007
An analysis of conficker’s logic and rendezvous points
P Porras, H Saidi, V Yegneswaran
Computer Science Laboratory, SRI International, Tech. Rep 36, 2009
1972009
A Foray into Conficker's Logic and Rendezvous Points.
PA Porras, H Saïdi, V Yegneswaran
LEET 9, 7, 2009
1742009
Powerful techniques for the automatic generation of invariants
S Bensalem, Y Lakhnech, H Saidi
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
1661996
Eureka: A Framework for Enabling Static Malware Analysis.
MI Sharif, V Yegneswaran, H Saidi, PA Porras, W Lee
ESORICS 8, 481-500, 2008
1582008
Model checking guided abstraction and analysis
H Saidi
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA …, 2000
1442000
A technique for invariant generation
A Tiwari, H Rueß, H Saïdi, N Shankar
Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001
1152001
An analysis of the ikee. b iphone botnet
P Porras, H Saidi, V Yegneswaran
Security and Privacy in Mobile Information and Communication Systems: Second …, 2010
1022010
Conficker C analysis
P Porras, H Saidi, V Yegneswaran
SRI International 1, 1-1, 2009
882009
Polymorphic computing architectures
CS Lockett, SA Oberg, SM Forsberg, H Saidi, JE Casper
US Patent 9,501,666, 2016
842016
Method and system for application-based policy monitoring and enforcement on a mobile device
H Saidi, R Xu
US Patent 8,844,036, 2014
802014
An architecture for an adaptive intrusion-tolerant server
A Valdes, M Almgren, S Cheung, Y Deswarte, B Dutertre, J Levy, H Saidi, ...
Security Protocols: 10th International Workshop, Cambridge, UK, April 17-19 …, 2004
742004
Intrusion tolerant software architectures
V Stavridou, B Dutertre, RA Riemenschneider, H Saidi
Proceedings DARPA Information Survivability Conference and Exposition II …, 2001
662001
Method and system for application-based policy monitoring and enforcement on a mobile device
H Saidi, R Xu
US Patent App. 14/480,726, 2014
642014
Verifying invariants using theorem proving
S Graf, H Saïdi
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
611996
Smartphone security limitations: conflicting traditions
N Husted, H Saïdi, A Gehani
Proceedings of the 2011 Workshop on Governance of Technology, Information …, 2011
522011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20