Seguir
Sudhir Aggarwal
Sudhir Aggarwal
Professor of Computer Science, Florida State University
Email confirmado em cs.fsu.edu - Página inicial
Título
Citado por
Citado por
Ano
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
6752009
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
6721991
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
5492010
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
1722004
System and method for multicast conferencing and online discussion groups
S Aggarwal, S Paul
US Patent 6,154,463, 2000
1102000
A calculus for protocol specification and validation.
S Aggarwal, RP Kurshan, KK Sabnani
Protocol Specification, Testing, and Verification 3 (1), 1983
1001983
Next gen PCFG password cracking
S Houshmand, S Aggarwal, R Flood
IEEE Transactions on Information Forensics and Security 10 (8), 1776-1791, 2015
972015
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
721990
Building better passwords using probabilistic techniques
S Houshmand, S Aggarwal
Proceedings of the 28th Annual Computer Security Applications Conference …, 2012
692012
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
541987
ESTELLE*: a powerful dialect of ESTELLE for OSI protocol description
JP Courtiat
Proc. IFIP Symposium on Protocol Specification, Testing and Verification, 1988
501988
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
492005
Modeling elapsed time in protocol specification
S Aggarwal
Protocol Specification, Testing, and Verification III, 51-62, 1983
411983
Mobile security architecture
S Aggarwal
US Patent 7,506,370, 2009
392009
Distributed reachability analysis for protocol verification environments
S Aggarwal, R Alonso, C Courcoubetis
Discrete Event Systems: Models and Applications: IIASA Conference Sopron …, 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 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
291988
System and methods for analyzing and modifying passwords
S Aggarwal, SH Yazdi, CM Weir
US Patent 9,524,393, 2016
282016
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
282005
Automated Implementation from Formal Specification.
S Aggarwal, RP Kurshan
PSTV, 127-136, 1984
261984
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20