| 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 | 740 | 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 | 688 | 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 | 572 | 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 | 175 | 2004 |
| System and method for multicast conferencing and online discussion groups S Aggarwal, S Paul US Patent 6,154,463, 2000 | 112 | 2000 |
| A calculus for protocol specification and validation. S Aggarwal, RP Kurshan, KK Sabnani Protocol Specification, Testing, and Verification 3 (1), 1983 | 109 | 1983 |
| Next gen PCFG password cracking S Houshmand, S Aggarwal, R Flood IEEE Transactions on Information Forensics and Security 10 (8), 1776-1791, 2015 | 103 | 2015 |
| Verifying a CSMA/CD-protocol with CCS S Aggarwal, K Sabnani Protocol Specification, Testing, and Verification, VIII: Proceedings of the …, 1988 | 90 | 1988 |
| Building better passwords using probabilistic techniques S Houshmand, S Aggarwal Proceedings of the 28th Annual Computer Security Applications Conference …, 2012 | 76 | 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 | 74 | 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 |
| Modeling elapsed time in protocol specification S Aggarwal Protocol Specification, Testing, and Verification III, 51-62, 1983 | 51 | 1983 |
| 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 | 50 | 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 |
| Implementing process algebra specifications by state machines G Karjoth Testing and Verification, 47-60, 1988 | 44 | 1988 |
| 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 |
| 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 | 31 | 1988 |
| A Language for the Specification and Analysis of Protocols. S Aggarwal, RP Kurshan, D Sharma Protocol Specification, Testing, and Verification 3, 35-50, 1983 | 31 | 1983 |
| System and methods for analyzing and modifying passwords S Aggarwal, SH Yazdi, CM Weir US Patent 9,524,393, 2016 | 30 | 2016 |
Breno de MedeirosSoftware Engineer, Google Inc.確認したメール アドレス: google.com
