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.

Symbolic path cost analysis for side-channel detection

Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu. Symbolic path cost analysis for side-channel detection. In Frank Tip, Eric Bodden, editors, Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. pages 27-37, ACM, 2018. [doi]

Authors

Tegan Brennan

This author has not been identified. Look up 'Tegan Brennan' in Google

Seemanta Saha

This author has not been identified. Look up 'Seemanta Saha' in Google

Tevfik Bultan

This author has not been identified. Look up 'Tevfik Bultan' in Google

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google
runs on