External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems

Chris Novakovic, David Parker 0001. Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems. In Kazue Sako, Steve Schneider, Peter Y. A. Ryan, editors, Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I. Volume 11735 of Lecture Notes in Computer Science, pages 319-337, Springer, 2019. [doi]

Authors

Chris Novakovic

This author has not been identified. Look up 'Chris Novakovic' in Google

David Parker 0001

This author has not been identified. Look up 'David Parker 0001' in Google
runs on