Follow
Sudhir Aggarwal
Sudhir Aggarwal
Professor of Computer Science, Florida State University
Verified email at cs.fsu.edu - Homepage
Title
Cited by
Cited by
Year
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
6541991
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
5772009
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
5092010
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
1642004
System and method for multicast conferencing and online discussion groups
S Aggarwal, S Paul
US Patent 6,154,463, 2000
1052000
A calculus for protocol specification and validation.
S Aggarwal, RP Kurshan, KK Sabnani
Protocol Specification, Testing, and Verification 3 (1), 1983
1001983
Verifying a CSMA/CD-protocol with CCS
S Aggarwal, K Sabnani
Protocol Specification, Testing, and Verification, VIII: Proceedings of the …, 1988
861988
Next gen PCFG password cracking
S Houshmand, S Aggarwal, R Flood
IEEE Transactions on Information Forensics and Security 10 (8), 1776-1791, 2015
792015
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
711990
Building better passwords using probabilistic techniques
S Houshmand, S Aggarwal
Proceedings of the 28th Annual Computer Security Applications Conference …, 2012
612012
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
511987
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
482005
ESTELLE*: a powerful dialect of ESTELLE for OSI protocol description
JP Courtiat
Proc. IFIP Symposium on Protocol Specification, Testing and Verification, 1988
481988
Modeling elapsed time in protocol specification
S Aggarwal
Protocol Specification, Testing, and Verification III, 51-62, 1983
461983
Mobile security architecture
S Aggarwal
US Patent 7,506,370, 2009
352009
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
311988
Distributed reachability analysis for protocol verification environments
S Aggarwal, R Alonso, C Courcoubetis
Discrete Event Systems: Models and Applications, 40-56, 1988
311988
Incorporating accountability into internet email
W Liu, S Aggarwal, Z Duan
Proceedings of the 2009 ACM symposium on Applied Computing, 875-882, 2009
292009
A Language for the Specification and Analysis of Protocols.
S Aggarwal, RP Kurshan, D Sharma
Protocol Specification, Testing, and Verification 3, 35-50, 1983
241983
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
232005
The system can't perform the operation now. Try again later.
Articles 1–20