Adds more WIP on automated formal verification

intro/intro.bib

@@ -46,3 +46,37 @@ @article{BAN90alo
   URL={https://dl.acm.org/citation.cfm?id=77649},
 }
 
+@online{ProVerif,
+  author={Bruno Blanchet},
+  title={ProVerif: Cryptographic protocol verifier in the formal model},
+  note={Fetched on 25th April 2016},
+  URL={http://prosecco.gforge.inria.fr/personal/bblanche/proverif/},
+}
+
+@article{AnalyzingSecurityProtocols,
+  title={Formal Models and Techniques for Analyzing Security Protocols: 
+    A Tutorial},
+  author={Cortier, V. and Kremer, S.},
+  journal={Foundations and Trends in Programming Languages},
+  volume={1},
+  number={3},
+  pages={151--264},
+  year={2014},
+  publisher={Now Publishers},
+  URL={http://www.loria.fr/~skremer/fosad14/notes.pdf},
+}
+
+@incollection{FormalSecurityProofs,
+    title =	{Formal Security Proofs},
+  	author =	{Comon{-}Lundh, Hubert and Delaune, St{\'e}phanie},
+  	booktitle =	{Software Safety and Security},
+  	editor =	{Nipkow, Tobias and Grumberg, Orna and Hauptmann, Benedikt},
+    series =	{NATO Science for Peace and Security Series~-- D:~Information and 
+      Communication Security},
+    volume =	{33},
+    pages =	{26--63},
+    month =	{5},
+  	year =	{2012},
+    publisher =	{{IOS} Press},
+    url =	{http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/CD-nato12.pdf},
+}