Josyula R. Rao 
contact information
IBM Fellow and CTO, Security ResearchThomas J. Watson Research Center, Yorktown Heights, NY USA +1
9149454131
9149454131 links
2014
Stream computing for large-scale, multi-channel cyber threat analytics
Douglas Lee Schales, Mihai Christodorescu, Xin Hu, Jiyong Jang, Josyula R. Rao, Reiner Sailer, Marc Ph. Stoecklin, Wietse Venema, Ting Wang
Proceedings of the IEEE International Conference on Information Reuse and Integration (IRI), pp. 8-15, 2014
Douglas Lee Schales, Mihai Christodorescu, Xin Hu, Jiyong Jang, Josyula R. Rao, Reiner Sailer, Marc Ph. Stoecklin, Wietse Venema, Ting Wang
Proceedings of the IEEE International Conference on Information Reuse and Integration (IRI), pp. 8-15, 2014
2013
Practical Comprehensive Bounds on Surreptitious Communication over DNS
Vern Paxson, Mihai Christodorescu, Mobin Javed, Josyula R. Rao, Reiner Sailer, Douglas Lee Schales, Marc Ph. Stoecklin, Kurt Thomas, Wietse Venema and Nicholas Weaver
USENIX Security, pp. 17-32 , 2013
Vern Paxson, Mihai Christodorescu, Mobin Javed, Josyula R. Rao, Reiner Sailer, Douglas Lee Schales, Marc Ph. Stoecklin, Kurt Thomas, Wietse Venema and Nicholas Weaver
USENIX Security, pp. 17-32 , 2013
2011
Engineering Secure Systems
Cynthia E. Irvine and J. R. Rao, Guest Editors
IEEE Security & Privacy9(1), 18-21, 2011
Cynthia E. Irvine and J. R. Rao, Guest Editors
IEEE Security & Privacy9(1), 18-21, 2011
2010
Designing a Side Channel Resistant Random Number Generator
Suresh Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin, Josyula R. Rao, Pankaj Rohatgi, Helmut Scherzer, Michael Steiner, David C. Toll,
In CARDIS, 2010
Suresh Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin, Josyula R. Rao, Pankaj Rohatgi, Helmut Scherzer, Michael Steiner, David C. Toll,
In CARDIS, 2010
2009
Security for the cloud infrastructure: Trusted virtual data center implementation.
Stefan Berger, Ramon Caceres, Kenneth A. Goldman, Dimitrios E. Pendarakis, Ronald Perez, Josyula R. Rao, Eran Rom, Reiner Sailer, Wayne Schildhauer, Deepa Srinivasan, Sivan Tal and Enriquillo Valdez
IBM Journal of Research and Development , 2009
Stefan Berger, Ramon Caceres, Kenneth A. Goldman, Dimitrios E. Pendarakis, Ronald Perez, Josyula R. Rao, Eran Rom, Reiner Sailer, Wayne Schildhauer, Deepa Srinivasan, Sivan Tal and Enriquillo Valdez
IBM Journal of Research and Development , 2009
Continuous Assurance for Cyber-Physical System Security
Chris Codella, Arun Hampapur, Chung-Sheng Li, Dimitrios Pendarakis, and Josyula R. Rao
Workshop on Future Directions in Cyber-Physical Systems, 2009
Chris Codella, Arun Hampapur, Chung-Sheng Li, Dimitrios Pendarakis, and Josyula R. Rao
Workshop on Future Directions in Cyber-Physical Systems, 2009
Security for the cloud infrastructure: Trusted virtual data center implementation
Stefan Berger, Ram\'on C\'aceres, Kenneth Goldman, Dimitrios Pendarakis, Ronald Perez, Josyula R Rao, Eran Rom, Reiner Sailer, Wayne Schildhauer, Deepa Srinivasan, Sivan Tal, Enriquillo Valdez
IBM Journal of Research and Development 53(4), 6:1--6:12, IBM, 2009
Stefan Berger, Ram\'on C\'aceres, Kenneth Goldman, Dimitrios Pendarakis, Ronald Perez, Josyula R Rao, Eran Rom, Reiner Sailer, Wayne Schildhauer, Deepa Srinivasan, Sivan Tal, Enriquillo Valdez
IBM Journal of Research and Development 53(4), 6:1--6:12, IBM, 2009
2005
Proceedings of the Workshop on Cryptographic Hardware and Embedded Systems (CHES 2005)
Josyula R. Rao and Berk Sunar, Editors
Lecture Notes in Computer Science, Springer-Verlag, 2005
Josyula R. Rao and Berk Sunar, Editors
Lecture Notes in Computer Science, Springer-Verlag, 2005
Cryptographic Hardware and Embedded Systems-CHES 2005: 7th International Workshop, Edinburgh, UK, August 29-September 1, 2005, Proceedings
Josyula R Rao, Berk Sunar
2005 - books.google.com, Springer
Josyula R Rao, Berk Sunar
2005 - books.google.com, Springer
Templates as master keys
Dakshi Agrawal, Josyula R Rao, Pankaj Rohatgi, Kai Schramm
Cryptographic Hardware and Embedded Systems--CHES 2005, pp. 15--29, Springer
Dakshi Agrawal, Josyula R Rao, Pankaj Rohatgi, Kai Schramm
Cryptographic Hardware and Embedded Systems--CHES 2005, pp. 15--29, Springer
2003
Power Analysis: Attacks and Countermeasures,
Suresh Chari, Charanjit Jutla, JR Rao and Pankaj Rohatgi
Programming Methodology, Editors: Annabelle McIver and Carroll Morgan, pp. 415-439, Springer New York, 2003
Suresh Chari, Charanjit Jutla, JR Rao and Pankaj Rohatgi
Programming Methodology, Editors: Annabelle McIver and Carroll Morgan, pp. 415-439, Springer New York, 2003
Multi-channel Attacks
Dakshi Agrawal, Josyula R. Rao, Pankaj Rohatgi
In the Proceedings of the Workshop on Cryptographic Hardware and Embedded Systems (CHES), 2003
Dakshi Agrawal, Josyula R. Rao, Pankaj Rohatgi
In the Proceedings of the Workshop on Cryptographic Hardware and Embedded Systems (CHES), 2003
Template attacks
Suresh Chari, Josyula R Rao, Pankaj Rohatgi
Cryptographic Hardware and Embedded Systems-CHES 2002, pp. 13--28, Springer, 2003
Suresh Chari, Josyula R Rao, Pankaj Rohatgi
Cryptographic Hardware and Embedded Systems-CHES 2002, pp. 13--28, Springer, 2003
2002
A Survey of Security Issues in Multicast Communications
Matt Moyer, Josyula R. Rao and Pankaj Rohatgi
IEEE Network 13(6), 2002
Matt Moyer, Josyula R. Rao and Pankaj Rohatgi
IEEE Network 13(6), 2002
The EM Side-Channel(s)
Dakshi Agarwal, Bruce Archambeault, Josyula R. Rao and Pankaj Rohatgi
In the Proceedings of the Workshop on Cryptographic Hardware and Embedded Systems (CHES 2002)
Dakshi Agarwal, Bruce Archambeault, Josyula R. Rao and Pankaj Rohatgi
In the Proceedings of the Workshop on Cryptographic Hardware and Embedded Systems (CHES 2002)
Partitioning attacks: or how to rapidly clone some GSM cards
Josyula R Rao, Pankaj Rohatgi, Helmut Scherzer, Stephane Tinguely
Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on, pp. 31--41
Josyula R Rao, Pankaj Rohatgi, Helmut Scherzer, Stephane Tinguely
Security and Privacy, 2002. Proceedings. 2002 IEEE Symposium on, pp. 31--41
2001
On the Role of Formal Methods in Security
Josyula R. Rao,
Information Processing Letters77 (2-4), 209-212, 2001
Josyula R. Rao,
Information Processing Letters77 (2-4), 209-212, 2001
Efficient Rijndael encryption implementation with composite field arithmetic
Atri Rudra, Pradeep K Dubey, Charanjit S Jutla, Vijay Kumar, Josyula R Rao, Pankaj Rohatgi
Cryptographic Hardware and Embedded Systems—CHES 2001, pp. 171--184, Springer
Atri Rudra, Pradeep K Dubey, Charanjit S Jutla, Vijay Kumar, Josyula R Rao, Pankaj Rohatgi
Cryptographic Hardware and Embedded Systems—CHES 2001, pp. 171--184, Springer
2000
An IPSec-based Host Architecture for Secure Internet Multicast
Ran Canetti, Pau-Chen Cheng, Dimitris Pendarakis, Josyula R. Rao, Pankaj Rohatgi and Debanjan Saha
In the Proceedings of the Network and Distributed Systems Security Symposium, 2000
Ran Canetti, Pau-Chen Cheng, Dimitris Pendarakis, Josyula R. Rao, Pankaj Rohatgi and Debanjan Saha
In the Proceedings of the Network and Distributed Systems Security Symposium, 2000
Can Pseudonymity Really Guarantee Privacy?
Josyula R. Rao and Pankaj Rohatgi,
In the Proceedings of the Ninth USENIX Security Symposium, pp. 85-96, 2000
Josyula R. Rao and Pankaj Rohatgi,
In the Proceedings of the Ninth USENIX Security Symposium, pp. 85-96, 2000
1999
A Cautionary Note Regarding Evaluation of AES Candidates on Smart Cards
Suresh Chari, Charanjit S. Jutla, Josyula R. Rao and Pankaj Rohatgi,
In the Proceedings of the Second Advanced Encryption Standards (AES) Conference, 1999
Suresh Chari, Charanjit S. Jutla, Josyula R. Rao and Pankaj Rohatgi,
In the Proceedings of the Second Advanced Encryption Standards (AES) Conference, 1999
Towards sound approaches to counteract power-analysis attacks
Suresh Chari, Charanjit S Jutla, Josyula R Rao, Pankaj Rohatgi
Advances in Cryptology—CRYPTO’99, pp. 398--412, 1999
Suresh Chari, Charanjit S Jutla, Josyula R Rao, Pankaj Rohatgi
Advances in Cryptology—CRYPTO’99, pp. 398--412, 1999
1997
A Methodology for Designing Proof Rules for Fair Parallel Programs
Charanjit S. Jutla and Josyula R. Rao
Formal Aspects of Computing 9(4), 359-378, 1997
Charanjit S. Jutla and Josyula R. Rao
Formal Aspects of Computing 9(4), 359-378, 1997
A Flexible Security System for Using Internet Content
Rangachari Anand, Nayeem Islam, Trent Jaeger and Josyula R. Rao
IEEE Software 14(5), 52-59, 1997
Rangachari Anand, Nayeem Islam, Trent Jaeger and Josyula R. Rao
IEEE Software 14(5), 52-59, 1997
A Flexible Security Model for Using Internet Content
Rangachari Anand, Nayeem Islam, Trent Jaeger and Josyula R. Rao,
In the Proceedings of the Symposium on Reliable Distributed Systems, pp. 89-96., 1997
Rangachari Anand, Nayeem Islam, Trent Jaeger and Josyula R. Rao,
In the Proceedings of the Symposium on Reliable Distributed Systems, pp. 89-96., 1997
A flexible security system for using Internet content
Nayeem Islam, Rangachari Anand, Trent Jaeger, Josyula R Rao
Software, IEEE 14(5), 52--59, IEEE, 1997
Nayeem Islam, Rangachari Anand, Trent Jaeger, Josyula R Rao
Software, IEEE 14(5), 52--59, IEEE, 1997
1996
Eventual Determinism: Using Probabilistic Means to Achieve Deterministic Ends
Josyula R. Rao
Parallel Algorithms Applications 8(1), 3-19, 1996
Josyula R. Rao
Parallel Algorithms Applications 8(1), 3-19, 1996
Experiences with Building Distributed Debuggers
Michael S. Meier, Kevan L. Miller, Donald P. Pazel and Josyula R. Rao
In the Proceedings of SPDT-96: First ACM SIGMETRICS Symposium on Parallel and Distributed Tools, 1996
Michael S. Meier, Kevan L. Miller, Donald P. Pazel and Josyula R. Rao
In the Proceedings of SPDT-96: First ACM SIGMETRICS Symposium on Parallel and Distributed Tools, 1996
1995
Eventual Determinism: Using Probabilistic Means to Achieve Deterministic Ends
Josyula R. Rao
In the Proceedings of the Twentyÿ Eighth Annual Hawaii International Conference on System Sciences, 1995
Josyula R. Rao
In the Proceedings of the Twentyÿ Eighth Annual Hawaii International Conference on System Sciences, 1995
Extensions to the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism
Josyula R. Rao
Lecture Notes in Computer Science908, Springer-Verlag, 1995
Josyula R. Rao
Lecture Notes in Computer Science908, Springer-Verlag, 1995
1994
Reasoning about Probabilistic Parallel Programs
Josyula R. Rao
ACM Transactions on Programming Languages and Systems 16(3), 798-842, 1994
Josyula R. Rao
ACM Transactions on Programming Languages and Systems 16(3), 798-842, 1994
Reasoning about probabilistic parallel programs
Josyula R Rao
ACM Transactions on Programming Languages and Systems (TOPLAS) 16(3), 798--842, ACM, 1994
Josyula R Rao
ACM Transactions on Programming Languages and Systems (TOPLAS) 16(3), 798--842, ACM, 1994
Concert/C: A language for distributed programming
Joshua S Auerbach, Arthur P Goldberg, German S Goldszmidt, Ajei S Gopal, Mark T Kennedy, Josyula R Rao, James R Russell
Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, pp. 8--8
Joshua S Auerbach, Arthur P Goldberg, German S Goldszmidt, Ajei S Gopal, Mark T Kennedy, Josyula R Rao, James R Russell
Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, pp. 8--8
1991
Commutativity and Parallel Program Design
Josyula R. Rao
Available as Technical Report TR-91-36, Department of Computer Sciences, 1991
Josyula R. Rao
Available as Technical Report TR-91-36, Department of Computer Sciences, 1991
1990
Reasoning about Probabilistic Algorithms
Josyula R. Rao
In the Proceedings of the Ninth Annual ACM SIGACTÿ SIGOPS Symposium on the Principles of Distributed Computing, 1990
Josyula R. Rao
In the Proceedings of the Ninth Annual ACM SIGACTÿ SIGOPS Symposium on the Principles of Distributed Computing, 1990
Constructing the Proof of Vizing's Theorem
Josyula R. Rao and Edsger W. Dijkstra
Reports EWD 1075 and EWD 1082a, 1990
Josyula R. Rao and Edsger W. Dijkstra
Reports EWD 1075 and EWD 1082a, 1990
1989
A Predicate Transformer Approach to the Semantics of Parallel Programs
Charanjit Jutla, Edgar Knapp and Josyula R. Rao
In the Proceedings of the Eighth Annual ACM SIGACTÿ SIGOPS Symposium on the Principles of Distributed Computing, 1989
Charanjit Jutla, Edgar Knapp and Josyula R. Rao
In the Proceedings of the Eighth Annual ACM SIGACTÿ SIGOPS Symposium on the Principles of Distributed Computing, 1989