Guest Editors' Introduction: Engineering secure systems
- Cynthia E. Irvine
- Josyula Rao
- 2011
- IEEE Security and Privacy
Review
Publications
23 results for Josyula R. Rao
Security for the cloud infrastructure: Trusted virtual data center implementation
- Stefan Berger
- Ramón Cáceres
- et al.
- 2009
- IBM J. Res. Dev
PaperTemplates as master keys
- Dakshi Agrawal
- Josyula R. Rao
- et al.
- 2005
- CHES 2005
Conference paperPartitioning attacks: Or how to rapidly clone some GSM cards
- J.R. Rao
- Pankaj Rohatgi
- et al.
- 2002
- S&P 2002
Conference paperOn the role of formal methods in security
- Josyula R. Rao
- 2001
- Information Processing Letters
PaperCan pseudonymity really guarantee privacy?
- Josyula R. Rao
- Pankaj Rohatgi
- 2000
- USENIX Security 2000
Conference paperA flexible security system for using internet content
- Nayeem Islam
- Rangachari Anand
- et al.
- 1997
- IEEE Software
PaperFlexible security model for using Internet content
- Rangachari Anand
- Nayeem Islam
- et al.
- 1997
- SRDS 1997
Conference paperA Methodology for Designing Proof Rules for Fair Parallel Programs
- Charanjit S. Jutla
- Josyula R. Rao
- 1997
- Formal Aspects of Computing
PaperExperiences with building distributed debuggers
- Michael S. Meier
- Kevan Miller
- et al.
- 1996
- SIGMETRICS Parallel and Distributed Tools 1996
Conference paper