\n \n \n
\n
\n\n \n \n \n \n \n \n Strong Non-Interference and Type-Directed Higher-Order Masking.\n \n \n \n \n\n\n \n Barthe, G.; Belaïd, S.; Dupressoir, F.; Fouque, P.; Grégoire, B.; Strub, P.; and Zucchini, R.\n\n\n \n\n\n\n In Weippl, E. R.; Katzenbeisser, S.; Kruegel, C.; Myers, A. C.; and Halevi, S., editor(s),
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016, pages 116–129, 2016. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ccs/BartheBDFGSZ16,\n author = {Gilles Barthe and Sonia Bela{\\"{\\i}}d and\nFran{\\c{c}}ois Dupressoir and Pierre{-}Alain Fouque and\nBenjamin Gr{\\'{e}}goire and Pierre{-}Yves Strub and\nR{\\'{e}}becca Zucchini},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/ccs/BartheBDFGSZ16.bib},\n booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on\nComputer and Communications Security, Vienna,\nAustria, October 24-28, 2016},\n doi = {10.1145/2976749.2978427},\n editor = {Edgar R. Weippl and Stefan Katzenbeisser and\nChristopher Kruegel and Andrew C. Myers and\nShai Halevi},\n isbn = {978-1-4503-4139-4},\n pages = {116--129},\n publisher = {{ACM}},\n timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},\n title = {Strong Non-Interference and Type-Directed\nHigher-Order Masking},\n url = {https://doi.org/10.1145/2976749.2978427},\n year = {2016}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Differentially Private Bayesian Programming.\n \n \n \n \n\n\n \n Barthe, G.; Farina, G. P.; Gaboardi, M.; Arias, E. J. G.; Gordon, A.; Hsu, J.; and Strub, P.\n\n\n \n\n\n\n In Weippl, E. R.; Katzenbeisser, S.; Kruegel, C.; Myers, A. C.; and Halevi, S., editor(s),
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016, pages 68–79, 2016. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ccs/BartheFGAGHS16,\n author = {Gilles Barthe and Gian Pietro Farina and\nMarco Gaboardi and Emilio Jes{\\'{u}}s Gallego Arias and\nAndy Gordon and Justin Hsu and Pierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/ccs/BartheFGAGHS16.bib},\n booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on\nComputer and Communications Security, Vienna,\nAustria, October 24-28, 2016},\n doi = {10.1145/2976749.2978371},\n editor = {Edgar R. Weippl and Stefan Katzenbeisser and\nChristopher Kruegel and Andrew C. Myers and\nShai Halevi},\n isbn = {978-1-4503-4139-4},\n pages = {68--79},\n publisher = {{ACM}},\n timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},\n title = {Differentially Private Bayesian Programming},\n url = {https://doi.org/10.1145/2976749.2978371},\n year = {2016}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Advanced Probabilistic Couplings for Differential Privacy.\n \n \n \n \n\n\n \n Barthe, G.; Fong, N.; Gaboardi, M.; Grégoire, B.; Hsu, J.; and Strub, P.\n\n\n \n\n\n\n In Weippl, E. R.; Katzenbeisser, S.; Kruegel, C.; Myers, A. C.; and Halevi, S., editor(s),
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016, pages 55–67, 2016. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ccs/BartheFGGHS16,\n author = {Gilles Barthe and No{\\'{e}}mie Fong and\nMarco Gaboardi and Benjamin Gr{\\'{e}}goire and\nJustin Hsu and Pierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/ccs/BartheFGGHS16.bib},\n booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on\nComputer and Communications Security, Vienna,\nAustria, October 24-28, 2016},\n doi = {10.1145/2976749.2978391},\n editor = {Edgar R. Weippl and Stefan Katzenbeisser and\nChristopher Kruegel and Andrew C. Myers and\nShai Halevi},\n isbn = {978-1-4503-4139-4},\n pages = {55--67},\n publisher = {{ACM}},\n timestamp = {Tue, 10 Nov 2020 20:00:49 +0100},\n title = {Advanced Probabilistic Couplings for Differential\nPrivacy},\n url = {https://doi.org/10.1145/2976749.2978391},\n year = {2016}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n A Program Logic for Union Bounds.\n \n \n \n \n\n\n \n Barthe, G.; Gaboardi, M.; Grégoire, B.; Hsu, J.; and Strub, P.\n\n\n \n\n\n\n In Chatzigiannakis, I.; Mitzenmacher, M.; Rabani, Y.; and Sangiorgi, D., editor(s),
43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, volume 55, of
LIPIcs, pages 107:1–107:15, 2016. Schloss Dagstuhl - Leibniz-Zentrum für Informatik\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n \n
link\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icalp/BartheGGHS16,\n author = {Gilles Barthe and Marco Gaboardi and\nBenjamin Gr{\\'{e}}goire and Justin Hsu and\nPierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/icalp/BartheGGHS16.bib},\n booktitle = {43rd International Colloquium on Automata, Languages,\nand Programming, {ICALP} 2016, July 11-15, 2016,\nRome, Italy},\n doi = {10.4230/LIPIcs.ICALP.2016.107},\n editor = {Ioannis Chatzigiannakis and Michael Mitzenmacher and\nYuval Rabani and Davide Sangiorgi},\n isbn = {978-3-95977-013-2},\n pages = {107:1--107:15},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\"{u}}r\nInformatik},\n series = {LIPIcs},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n title = {A Program Logic for Union Bounds},\n url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.107},\n url_Link = {http://www.strub.nu/biblio/pdf/conf-icalp-BartheGGHS16.pdf},\n volume = {55},\n year = {2016}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Proving Differential Privacy via Probabilistic Couplings.\n \n \n \n \n\n\n \n Barthe, G.; Gaboardi, M.; Grégoire, B.; Hsu, J.; and Strub, P.\n\n\n \n\n\n\n In Grohe, M.; Koskinen, E.; and Shankar, N., editor(s),
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pages 749–758, 2016. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/lics/BartheGGHS16,\n author = {Gilles Barthe and Marco Gaboardi and\nBenjamin Gr{\\'{e}}goire and Justin Hsu and\nPierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/lics/BartheGGHS16.bib},\n booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium\non Logic in Computer Science, {LICS} '16, New York,\nNY, USA, July 5-8, 2016},\n doi = {10.1145/2933575.2934554},\n editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar},\n isbn = {978-1-4503-4391-6},\n pages = {749--758},\n publisher = {{ACM}},\n timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},\n title = {Proving Differential Privacy via Probabilistic\nCouplings},\n url = {https://doi.org/10.1145/2933575.2934554},\n year = {2016}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Dependent types and multi-monadic effects in F.\n \n \n \n \n\n\n \n Swamy, N.; Hritcu, C.; Keller, C.; Rastogi, A.; Delignat-Lavaud, A.; Forest, S.; Bhargavan, K.; Fournet, C.; Strub, P.; Kohlweiss, M.; Zinzindohoue, J. K.; and Béguelin, S. Z.\n\n\n \n\n\n\n In Bodík, R.; and Majumdar, R., editor(s),
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pages 256–270, 2016. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n \n
link\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/popl/SwamyHKRDFBFSKZ16,\n author = {Nikhil Swamy and Catalin Hritcu and Chantal Keller and\nAseem Rastogi and Antoine Delignat{-}Lavaud and\nSimon Forest and Karthikeyan Bhargavan and\nC{\\'{e}}dric Fournet and Pierre{-}Yves Strub and\nMarkulf Kohlweiss and Jean Karim Zinzindohoue and\nSantiago Zanella B{\\'{e}}guelin},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/popl/SwamyHKRDFBFSKZ16.bib},\n booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT}\nSymposium on Principles of Programming Languages,\n{POPL} 2016, St. Petersburg, FL, USA, January 20 -\n22, 2016},\n doi = {10.1145/2837614.2837655},\n editor = {Rastislav Bod{\\'{\\i}}k and Rupak Majumdar},\n isbn = {978-1-4503-3549-2},\n pages = {256--270},\n publisher = {{ACM}},\n timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},\n title = {Dependent types and multi-monadic effects in {F}},\n url = {https://doi.org/10.1145/2837614.2837655},\n url_Link = {http://www.strub.nu/biblio/pdf/conf-popl-SwamyHKRDFBFSKZ16.pdf},\n year = {2016}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n\n\n\n