| Construction of abstract state graphs with PVS S Graf, H Saidi Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 2042 | 1997 |
| Aurasium: Practical policy enforcement for android applications R Xu, H Saïdi, R Anderson 21st USENIX Security Symposium (USENIX Security 12), 539-552, 2012 | 646 | 2012 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 260 | 2000 |
| Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 252 | 1999 |
| A multi-perspective analysis of the storm (peacomm) worm P Porras, H Saidi, V Yegneswaran Technical report, Computer Science Laboratory, SRI International, 2007 | 207 | 2007 |
| An analysis of conficker’s logic and rendezvous points P Porras, H Saidi, V Yegneswaran Computer Science Laboratory, SRI International, Tech. Rep 36, 2009 | 200 | 2009 |
| Eureka: A framework for enabling static malware analysis M Sharif, V Yegneswaran, H Saidi, P Porras, W Lee Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008 | 192 | 2008 |
| A Foray into Conficker's Logic and Rendezvous Points. PA Porras, H Saïdi, V Yegneswaran LEET 9, 7, 2009 | 185 | 2009 |
| Powerful techniques for the automatic generation of invariants S Bensalem, Y Lakhnech, H Saidi Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 170 | 1996 |
| Model checking guided abstraction and analysis H Saidi International Static Analysis Symposium, 377-396, 2000 | 147 | 2000 |
| A technique for invariant generation A Tiwari, H Rueß, H Saïdi, N Shankar International Conference on Tools and Algorithms for the Construction and …, 2001 | 126 | 2001 |
| Polymorphic computing architectures CS Lockett, SA Oberg, SM Forsberg, H Saidi, JE Casper US Patent 9,501,666, 2016 | 113 | 2016 |
| 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 | 105 | 2010 |
| Conficker C analysis P Porras, H Saidi, V Yegneswaran SRI International 1, 1-1, 2009 | 92 | 2009 |
| Method and system for application-based policy monitoring and enforcement on a mobile device H Saidi, R Xu US Patent 8,844,036, 2014 | 88 | 2014 |
| 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 | 75 | 2014 |
| 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 | 74 | 2004 |
| Intrusion tolerant software architectures V Stavridou, B Dutertre, RA Riemenschneider, H Saidi Proceedings DARPA Information Survivability Conference and Exposition II …, 2001 | 69 | 2001 |
| Verifying invariants using theorem proving S Graf, H Saïdi Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 62 | 1996 |
| Operating system-independent integrity verification S Oberg, CS Lockett, S Forsberg, H Saidi, JE Casper US Patent 10,073,966, 2018 | 61 | 2018 |
