%0 Conference Paper %1 conf/esop/JanvierLM05 %A Janvier, Romain %A Lakhnech, Yassine %A Mazaré, Laurent %B ESOP %D 2005 %E Sagiv, Shmuel %I Springer %K dblp %P 172-185 %T Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. %U http://dblp.uni-trier.de/db/conf/esop/esop2005.html#JanvierLM05 %V 3444 %@ 3-540-25435-8

@inproceedings{conf/esop/JanvierLM05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Janvier, Romain and Lakhnech, Yassine and Mazaré, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2588363fa5d6ed731bc89af535ca4eb01/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2005}, editor = {Sagiv, Shmuel}, ee = {https://doi.org/10.1007/978-3-540-31987-0_13}, interhash = {327222bc406135465b63b539da979e65}, intrahash = {588363fa5d6ed731bc89af535ca4eb01}, isbn = {3-540-25435-8}, keywords = {dblp}, pages = {172-185}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2005.html#JanvierLM05}, volume = 3444, year = 2005 }