| Password cracking using probabilistic context-free grammars M Weir, S Aggarwal, B De Medeiros, B Glodek 2009 30th IEEE symposium on security and privacy, 391-405, 2009 | 703 | 2009 |
| An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours AV Aho, AT Dahbura, D Lee, MU Uyar IEEE transactions on communications 39 (11), 1604-1615, 1991 | 670 | 1991 |
| Testing metrics for password creation policies by attacking large sets of revealed passwords M Weir, S Aggarwal, M Collins, H Stern Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 558 | 2010 |
| Accuracy in dead-reckoning based distributed multi-player games S Aggarwal, H Banavar, A Khandelwal, S Mukherjee, S Rangarajan Proceedings of 3rd ACM SIGCOMM workshop on Network and system support for …, 2004 | 174 | 2004 |
| System and method for multicast conferencing and online discussion groups S Aggarwal, S Paul US Patent 6,154,463, 2000 | 110 | 2000 |
| A calculus for protocol specification and validation. S Aggarwal, RP Kurshan, KK Sabnani Protocol Specification, Testing, and Verification 3 (1), 1983 | 102 | 1983 |
| Next gen PCFG password cracking S Houshmand, S Aggarwal, R Flood IEEE Transactions on Information Forensics and Security 10 (8), 1776-1791, 2015 | 101 | 2015 |
| Building better passwords using probabilistic techniques S Houshmand, S Aggarwal Proceedings of the 28th Annual Computer Security Applications Conference …, 2012 | 72 | 2012 |
| Adding liveness properties to coupled finite-state machines S Aggarwal, C Courcoubetis, P Wolper ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (2), 303-339, 1990 | 70 | 1990 |
| SPANNER: A tool for the specification, analysis, and evaluation of protocols S Aggarwal, D Barbará, KZ Meth IEEE Transactions on Software Engineering 13 (12), 1218, 1987 | 54 | 1987 |
| Fairness in dead-reckoning based distributed multi-player games S Aggarwal, H Banavar, S Mukherjee, S Rangarajan Proceedings of 4th ACM SIGCOMM workshop on Network and system support for …, 2005 | 49 | 2005 |
| ESTELLE*: a powerful dialect of ESTELLE for OSI protocol description JP Courtiat Proc. IFIP Symposium on Protocol Specification, Testing and Verification, 1988 | 49 | 1988 |
| Modeling elapsed time in protocol specification S Aggarwal Protocol Specification, Testing, and Verification III, 51-62, 1983 | 41 | 1983 |
| Mobile security architecture S Aggarwal US Patent 7,506,370, 2009 | 39 | 2009 |
| Distributed reachability analysis for protocol verification environments S Aggarwal, R Alonso, C Courcoubetis Discrete Event Systems: Models and Applications: IIASA Conference Sopron …, 1988 | 32 | 1988 |
| Incorporating accountability into internet email W Liu, S Aggarwal, Z Duan Proceedings of the 2009 ACM symposium on Applied Computing, 875-882, 2009 | 29 | 2009 |
| A software environment for the specification and analysis of problems of coordination and concurrency S Aggarwal, D Barbara, KZ Meth IEEE Transactions on Software Engineering 14 (3), 280-290, 1988 | 29 | 1988 |
| System and methods for analyzing and modifying passwords S Aggarwal, SH Yazdi, CM Weir US Patent 9,524,393, 2016 | 28 | 2016 |
| Anti-cyberstalking: The predator and prey alert (PAPA) system S Aggarwal, M Burmester, P Henry, L Kermes, J Mulholland First International Workshop on Systematic Approaches to Digital Forensic …, 2005 | 28 | 2005 |
| Automated Implementation from Formal Specification. S Aggarwal, RP Kurshan PSTV, 127-136, 1984 | 27 | 1984 |
Breno de MedeirosSoftware Engineer, Google Inc.在 google.com 的电子邮件经过验证
