Practical Formal Methods for Real World Cryptography (Invited Talk) (bibtex)
by Karthikeyan Bhargavan and Prasad Naldurg
Reference:
Practical Formal Methods for Real World Cryptography (Invited Talk) (Karthikeyan Bhargavan and Prasad Naldurg), In 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) (Arkadev Chattopadhyay, Paul Gastin, eds.), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, volume 150, 2019.
Bibtex Entry:
@InProceedings{bhargavan_et_al:LIPIcs:2019:11563,
  author ={Karthikeyan Bhargavan and Prasad Naldurg},
    title ={{Practical Formal Methods for Real World Cryptography (Invited Talk)}},
      booktitle ={39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019)},
        pages ={1:1--1:12},
	  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
	    ISBN ={978-3-95977-131-3},
	      ISSN ={1868-8969},
	        year ={2019},
		  volume ={150},
		    editor ={Arkadev Chattopadhyay and Paul Gastin},
		      publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
		        address ={Dagstuhl, Germany},
			  URL ={http://drops.dagstuhl.de/opus/volltexte/2019/11563},
			    URN ={urn:nbn:de:0030-drops-115632},
			      doi ={10.4230/LIPIcs.FSTTCS.2019.1},
			        annote ={Keywords: Formal verification, Applied cryptography, Security protocols, Machine learning}
				}
Powered by bibtexbrowser