Current Publications



  1. Si Liu, Jatin Gahotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, and Jose Meseguer, “Quantitative Analysis of Consistency in NoSQL Key-value Stores”, Leibniz Transactions on Embedded Systems (LITES Special Issue on Quantitative Evaluation of Systems (QEST)), volume 4, number 1, 2017. [full text]
  2. Carlo Di-Giulio, Read Sprabery, Charles Kamhoua, Kevin Kwiat, Roy Campbell, and Masooda Bashir, “Cloud Security Certifications: A Comparison to Improve Cloud Service Provider Security”, International Conference on Internet of Things, Data and Cloud Computing (ICC 2017), Churchill College, Cambridge, UK, March 22-23, 2017. [full text]
  3. Stephen Skeirik, Andrei Stefanescu, and Jose Meseguer, “A Constructor-Based Reachability Logic for Rewrite Theories”, Technical Report, Department of Computer Science, University of Illinois at Urbana-Champaign, March 27, 2017. [full text]
  4. Phuong Cao, Alexander Withers, Zbigniew Kalbarczyk, and Ravishankar Iyer, “Learning Factor Graphs for Preempting Multi-State Attacks in Cloud Infrastructure”, poster, Symposium and Bootcamp on the Science of Security (HotSoS 2017), Hanover, MD, April 4-5, 2017.  [poster]
  5. Read Sprabery, Zachary Estrada, Jon Calhoun, Zbigniew Kalbarczyk, Ravishankar Iyer, Rakesh B. Bobba, and Roy Campbell, “Trustworthy Services Built on Event Based Probing for Layered Defense”, IEEE International Conference on Cloud Engineering (IC2E 2017), Vancouver, Canada, April 4-7, 2017. [full text]
  6. Zackary J. Estrada, Read Sprabery, Lok Yan, Zhongzhi Yu, Roy Campbell, Zbigniew Kalbarczyk, and Ravishankar K. Iyer, “Using OS Design Patterns to Provide Reliability and Security as-a-Services for VM-based Clouds”, 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2017), Xi’an China, April 8-9, 2017. [full text]
  7. Carlo Di-Giulio, Read Sprabery, Charles Kamhoua, Kevin Kwait, Roy Campbell, and Masooda Bashir, “IT Security and Privacy Standards in Comparison: Improving FedRAMP Authorization for Cloud Service Providers”, International Workshop on Assured Cloud Computing and QoS Aware Big Data (WACC 2017), Madrid, Spain, May 14, 2017. [full text]
  8. Carlo Di-Giulio, Read Sprabery, Charles Kamhoua, Kevin Kwiat, Roy Campbell, and Masooda Bashir, “Cloud Standards in Comparison: Are New Security Frameworks Improving Cloud Security?”, 10th IEEE International Conference on Cloud Computing (Cloud 2017), Honolulu, HI, June 25-30, 2017. [full text]
  9. Shadi A. Noghabi, Kartik Paramasivam, Yi Pan, Navina Ramesh, Jon Bringhurst, Indranil Gupta, and Roy H. Campbell, “Samza: Stateful Stream Processing at LinkedIn”, 43rd International Conference on Very Large Data Bases (VLDB 2017), Munich, Germany, August 28-September 1, 2017. [full text]
  10. Roy H. Campbell, Assured Cloud Computing University of Illinois Center of Excellence (ACC UCOE) Final Technical Report, January 2018. [full text]
  11. Roy H. Campbell, Charles Kamhoua, and Kevin Kwiat (Eds.), Assured Cloud Computing, IEEE Wiley, New York, NY, to be published 2018.

Previous Publications