Josyula R. Rao  Josyula R. Rao photo       

contact information

IBM Fellow and Director, Security Research
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash4131

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


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


2011

Engineering Secure Systems
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


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

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

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


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


Templates as master keys
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

Multi-channel Attacks
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


2002

A Survey of Security Issues in Multicast Communications
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)

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


2001

On the Role of Formal Methods in Security
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


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

Can Pseudonymity Really Guarantee Privacy?
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

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


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

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

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

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


1996

Eventual Determinism: Using Probabilistic Means to Achieve Deterministic Ends
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


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

Extensions to the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism
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

Reasoning about probabilistic parallel programs
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


1991

Commutativity and Parallel Program Design
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

On a Notion of Completeness for the leads-to
Josyula R. Rao
Notes on UNITY 24-90, 1990

Constructing the Proof of Vizing's Theorem
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