BibTeX records: Deian Stefan

download as .bib file

@inproceedings{DBLP:conf/pldi/BrownRNLSS20,
  author    = {Fraser Brown and
               John Renner and
               Andres N{\"{o}}tzli and
               Sorin Lerner and
               Hovav Shacham and
               Deian Stefan},
  editor    = {Alastair F. Donaldson and
               Emina Torlak},
  title     = {Towards a verified range analysis for JavaScript JITs},
  booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
               Programming Language Design and Implementation, {PLDI} 2020, London,
               UK, June 15-20, 2020},
  pages     = {135--150},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3385412.3385968},
  doi       = {10.1145/3385412.3385968},
  timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/BrownRNLSS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CauligiDGTSRB20,
  author    = {Sunjay Cauligi and
               Craig Disselkoen and
               Klaus von Gleissenthall and
               Dean M. Tullsen and
               Deian Stefan and
               Tamara Rezk and
               Gilles Barthe},
  editor    = {Alastair F. Donaldson and
               Emina Torlak},
  title     = {Constant-time foundations for the new spectre era},
  booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
               Programming Language Design and Implementation, {PLDI} 2020, London,
               UK, June 15-20, 2020},
  pages     = {913--926},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3385412.3385970},
  doi       = {10.1145/3385412.3385970},
  timestamp = {Wed, 10 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/CauligiDGTSRB20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00572,
  author    = {Shravan Narayan and
               Craig Disselkoen and
               Tal Garfinkel and
               Nathan Froyd and
               Eric Rahm and
               Sorin Lerner and
               Hovav Shacham and
               Deian Stefan},
  title     = {Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended
               Version)},
  journal   = {CoRR},
  volume    = {abs/2003.00572},
  year      = {2020},
  url       = {https://arxiv.org/abs/2003.00572},
  archivePrefix = {arXiv},
  eprint    = {2003.00572},
  timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2003-00572.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00294,
  author    = {Marco Vassena and
               Klaus von Gleissenthall and
               Rami G{\"{o}}khan Kici and
               Deian Stefan and
               Ranjit Jhala},
  title     = {Automatically Eliminating Speculative Leaks With Blade},
  journal   = {CoRR},
  volume    = {abs/2005.00294},
  year      = {2020},
  url       = {https://arxiv.org/abs/2005.00294},
  archivePrefix = {arXiv},
  eprint    = {2005.00294},
  timestamp = {Fri, 08 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2005-00294.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GleissenthallKB19,
  author    = {Klaus von Gleissenthall and
               Rami G{\"{o}}khan Kici and
               Alexander Bakst and
               Deian Stefan and
               Ranjit Jhala},
  title     = {Pretend synchrony: synchronous verification of asynchronous distributed
               programs},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {59:1--59:30},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290372},
  doi       = {10.1145/3290372},
  timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/GleissenthallKB19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VassenaRGRS19,
  author    = {Marco Vassena and
               Alejandro Russo and
               Deepak Garg and
               Vineet Rajani and
               Deian Stefan},
  title     = {From fine- to coarse-grained dynamic information flow control and
               back},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {76:1--76:31},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290389},
  doi       = {10.1145/3290389},
  timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/VassenaRGRS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WattRPCS19,
  author    = {Conrad Watt and
               John Renner and
               Natalie Popescu and
               Sunjay Cauligi and
               Deian Stefan},
  title     = {CT-wasm: type-driven secure cryptography for the web ecosystem},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {77:1--77:29},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290390},
  doi       = {10.1145/3290390},
  timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/WattRPCS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/TalpinMNSG19,
  author    = {Jean{-}Pierre Talpin and
               Jean{-}Joseph Marty and
               Shravan Narayan and
               Deian Stefan and
               Rajesh Gupta},
  editor    = {J{\"{u}}rgen Teich and
               Franco Fummi},
  title     = {Towards verified programming of embedded devices},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages     = {1445--1450},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.23919/DATE.2019.8715067},
  doi       = {10.23919/DATE.2019.8715067},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/TalpinMNSG19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/DisselkoenRWGLS19,
  author    = {Craig Disselkoen and
               John Renner and
               Conrad Watt and
               Tal Garfinkel and
               Amit Levy and
               Deian Stefan},
  title     = {Position Paper: Progressive Memory Safety for WebAssembly},
  booktitle = {Proceedings of the 8th International Workshop on Hardware and Architectural
               Support for Security and Privacy, HASP@ISCA 2019, June 23, 2019},
  pages     = {4:1--4:8},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3337167.3337171},
  doi       = {10.1145/3337167.3337171},
  timestamp = {Mon, 14 Oct 2019 14:32:31 +0200},
  biburl    = {https://dblp.org/rec/conf/isca/DisselkoenRWGLS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CauligiSJBWRGBJ19,
  author    = {Sunjay Cauligi and
               Gary Soeller and
               Brian Johannesmeyer and
               Fraser Brown and
               Riad S. Wahby and
               John Renner and
               Benjamin Gr{\'{e}}goire and
               Gilles Barthe and
               Ranjit Jhala and
               Deian Stefan},
  editor    = {Kathryn S. McKinley and
               Kathleen Fisher},
  title     = {FaCT: a {DSL} for timing-sensitive computation},
  booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
               June 22-26, 2019},
  pages     = {174--189},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3314221.3314605},
  doi       = {10.1145/3314221.3314605},
  timestamp = {Sun, 09 Jun 2019 18:52:19 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/CauligiSJBWRGBJ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/VassenaSACRS19,
  author    = {Marco Vassena and
               Gary Soeller and
               Peter Amidon and
               Matthew Chan and
               John Renner and
               Deian Stefan},
  editor    = {Flemming Nielson and
               David Sands},
  title     = {Foundations for Parallel Information Flow Control Runtime Systems},
  booktitle = {Principles of Security and Trust - 8th International Conference, {POST}
               2019, Held as Part of the European Joint Conferences on Theory and
               Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
               6-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11426},
  pages     = {1--28},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17138-4\_1},
  doi       = {10.1007/978-3-030-17138-4\_1},
  timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
  biburl    = {https://dblp.org/rec/conf/post/VassenaSACRS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/GleissenthallKS19,
  author    = {Klaus von Gleissenthall and
               Rami G{\"{o}}khan Kici and
               Deian Stefan and
               Ranjit Jhala},
  editor    = {Nadia Heninger and
               Patrick Traynor},
  title     = {{IODINE:} Verifying Constant-Time Execution of Hardware},
  booktitle = {28th {USENIX} Security Symposium, {USENIX} Security 2019, Santa Clara,
               CA, USA, August 14-16, 2019},
  pages     = {1411--1428},
  publisher = {{USENIX} Association},
  year      = {2019},
  url       = {https://www.usenix.org/conference/usenixsecurity19/presentation/von-gleissenthall},
  timestamp = {Tue, 03 Sep 2019 16:37:55 +0200},
  biburl    = {https://dblp.org/rec/conf/uss/GleissenthallKS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01755,
  author    = {Sunjay Cauligi and
               Craig Disselkoen and
               Klaus von Gleissenthall and
               Deian Stefan and
               Tamara Rezk and
               Gilles Barthe},
  title     = {Towards Constant-Time Foundations for the New Spectre Era},
  journal   = {CoRR},
  volume    = {abs/1910.01755},
  year      = {2019},
  url       = {http://arxiv.org/abs/1910.01755},
  archivePrefix = {arXiv},
  eprint    = {1910.01755},
  timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1910-01755.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-03111,
  author    = {Klaus von Gleissenthall and
               Rami G{\"{o}}khan Kici and
               Deian Stefan and
               Ranjit Jhala},
  title     = {Iodine: Verifying Constant-Time Execution of Hardware},
  journal   = {CoRR},
  volume    = {abs/1910.03111},
  year      = {2019},
  url       = {http://arxiv.org/abs/1910.03111},
  archivePrefix = {arXiv},
  eprint    = {1910.03111},
  timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1910-03111.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-02285,
  author    = {Shravan Narayan and
               Tal Garfinkel and
               Sorin Lerner and
               Hovav Shacham and
               Deian Stefan},
  title     = {Gobi: WebAssembly as a Practical Path to Library Sandboxing},
  journal   = {CoRR},
  volume    = {abs/1912.02285},
  year      = {2019},
  url       = {http://arxiv.org/abs/1912.02285},
  archivePrefix = {arXiv},
  eprint    = {1912.02285},
  timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1912-02285.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AndryscoNBJS18,
  author    = {Marc Andrysco and
               Andres N{\"{o}}tzli and
               Fraser Brown and
               Ranjit Jhala and
               Deian Stefan},
  editor    = {David Lie and
               Mohammad Mannan and
               Michael Backes and
               XiaoFeng Wang},
  title     = {Towards Verified, Constant-time Floating Point Operations},
  booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2018, Toronto, ON, Canada, October
               15-19, 2018},
  pages     = {1369--1382},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3243734.3243766},
  doi       = {10.1145/3243734.3243766},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/AndryscoNBJS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woot/SmithDNBS18,
  author    = {Michael Smith and
               Craig Disselkoen and
               Shravan Narayan and
               Fraser Brown and
               Deian Stefan},
  editor    = {Christian Rossow and
               Yves Younan},
  title     = {Browser history re: visited},
  booktitle = {12th {USENIX} Workshop on Offensive Technologies, {WOOT} 2018, Baltimore,
               MD, USA, August 13-14, 2018},
  publisher = {{USENIX} Association},
  year      = {2018},
  url       = {https://www.usenix.org/conference/woot18/presentation/smith},
  timestamp = {Mon, 20 Aug 2018 14:07:29 +0200},
  biburl    = {https://dblp.org/rec/conf/woot/SmithDNBS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-01348,
  author    = {Conrad Watt and
               John Renner and
               Natalie Popescu and
               Sunjay Cauligi and
               Deian Stefan},
  title     = {CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem},
  journal   = {CoRR},
  volume    = {abs/1808.01348},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.01348},
  archivePrefix = {arXiv},
  eprint    = {1808.01348},
  timestamp = {Sun, 18 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1808-01348.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/GiffinLSTMMR17,
  author    = {Daniel B. Giffin and
               Amit Levy and
               Deian Stefan and
               David Terei and
               David Mazi{\`{e}}res and
               John C. Mitchell and
               Alejandro Russo},
  title     = {Hails: Protecting data privacy in untrusted web applications},
  journal   = {J. Comput. Secur.},
  volume    = {25},
  number    = {4-5},
  pages     = {427--461},
  year      = {2017},
  url       = {https://doi.org/10.3233/JCS-15801},
  doi       = {10.3233/JCS-15801},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jcs/GiffinLSTMMR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/StefanMMR17,
  author    = {Deian Stefan and
               David Mazi{\`{e}}res and
               John C. Mitchell and
               Alejandro Russo},
  title     = {Flexible dynamic information flow control in the presence of exceptions},
  journal   = {J. Funct. Program.},
  volume    = {27},
  pages     = {e5},
  year      = {2017},
  url       = {https://doi.org/10.1017/S0956796816000241},
  doi       = {10.1017/S0956796816000241},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jfp/StefanMMR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/CauligiSBJHJS17,
  author    = {Sunjay Cauligi and
               Gary Soeller and
               Fraser Brown and
               Brian Johannesmeyer and
               Yunlu Huang and
               Ranjit Jhala and
               Deian Stefan},
  title     = {FaCT: {A} Flexible, Constant-Time Programming Language},
  booktitle = {{IEEE} Cybersecurity Development, SecDev 2017, Cambridge, MA, USA,
               September 24-26, 2017},
  pages     = {69--76},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/SecDev.2017.24},
  doi       = {10.1109/SecDev.2017.24},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/secdev/CauligiSBJHJS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BrownNWEJS17,
  author    = {Fraser Brown and
               Shravan Narayan and
               Riad S. Wahby and
               Dawson R. Engler and
               Ranjit Jhala and
               Deian Stefan},
  title     = {Finding and Preventing Bugs in JavaScript Bindings},
  booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  pages     = {559--578},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/SP.2017.68},
  doi       = {10.1109/SP.2017.68},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/BrownNWEJS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/MurrayS16,
  author    = {Toby C. Murray and
               Deian Stefan},
  editor    = {Edgar R. Weippl and
               Stefan Katzenbeisser and
               Christopher Kruegel and
               Andrew C. Myers and
               Shai Halevi},
  title     = {PLAS'16: {ACM} {SIGPLAN} 11th Workshop on Programming Languages and
               Analysis for Security},
  booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, Vienna, Austria, October 24-28, 2016},
  pages     = {1870},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2976749.2990484},
  doi       = {10.1145/2976749.2990484},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/MurrayS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2016plas,
  editor    = {Toby C. Murray and
               Deian Stefan},
  title     = {Proceedings of the 2016 {ACM} Workshop on Programming Languages and
               Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2993600},
  doi       = {10.1145/2993600},
  isbn      = {978-1-4503-4574-3},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/2016plas.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/HeuleRRS15,
  author    = {Stefan Heule and
               Devon Rifkin and
               Alejandro Russo and
               Deian Stefan},
  editor    = {George Candea},
  title     = {The Most Dangerous Code in the Browser},
  booktitle = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause
               Ittingen, Switzerland, May 18-20, 2015},
  publisher = {{USENIX} Association},
  year      = {2015},
  url       = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/heule},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/conf/hotos/HeuleRRS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/HeuleSYMR15,
  author    = {Stefan Heule and
               Deian Stefan and
               Edward Z. Yang and
               John C. Mitchell and
               Alejandro Russo},
  editor    = {Riccardo Focardi and
               Andrew C. Myers},
  title     = {{IFC} Inside: Retrofitting Languages with Dynamic Information Flow
               Control},
  booktitle = {Principles of Security and Trust - 4th International Conference, {POST}
               2015, Held as Part of the European Joint Conferences on Theory and
               Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9036},
  pages     = {11--31},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46666-7\_2},
  doi       = {10.1007/978-3-662-46666-7\_2},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/post/HeuleSYMR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeuleSYMR15,
  author    = {Stefan Heule and
               Deian Stefan and
               Edward Z. Yang and
               John C. Mitchell and
               Alejandro Russo},
  title     = {{IFC} Inside: Retrofitting Languages with Dynamic Information Flow
               Control (Extended Version)},
  journal   = {CoRR},
  volume    = {abs/1501.04132},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.04132},
  archivePrefix = {arXiv},
  eprint    = {1501.04132},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/HeuleSYMR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BuirasSR15,
  author    = {Pablo Buiras and
               Deian Stefan and
               Alejandro Russo},
  title     = {On Dynamic Flow-Sensitive Floating-Label Systems},
  journal   = {CoRR},
  volume    = {abs/1507.06189},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.06189},
  archivePrefix = {arXiv},
  eprint    = {1507.06189},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BuirasSR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BuirasSR14,
  author    = {Pablo Buiras and
               Deian Stefan and
               Alejandro Russo},
  title     = {On Dynamic Flow-Sensitive Floating-Label Systems},
  booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
               Austria, 19-22 July, 2014},
  pages     = {65--79},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {https://doi.org/10.1109/CSF.2014.13},
  doi       = {10.1109/CSF.2014.13},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/BuirasSR14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StefanM14,
  author    = {Deian Stefan and
               David Mazi{\`{e}}res},
  editor    = {Alejandro Russo and
               Omer Tripp},
  title     = {Building Secure Systems with {LIO} (Demo)},
  booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
               for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
  pages     = {25},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2637113.2637121},
  doi       = {10.1145/2637113.2637121},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/StefanM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/LevyTSM14,
  author    = {Amit A. Levy and
               David Terei and
               Deian Stefan and
               David Mazi{\`{e}}res},
  editor    = {Wouter Swierstra},
  title     = {Demo proposal: making web applications -XSafe},
  booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  pages     = {91},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2633357.2633373},
  doi       = {10.1145/2633357.2633373},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/haskell/LevyTSM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/StefanLRM14,
  author    = {Deian Stefan and
               Amit Levy and
               Alejandro Russo and
               David Mazi{\`{e}}res},
  editor    = {Wouter Swierstra},
  title     = {Building secure systems with {LIO} (demo)},
  booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  pages     = {93--94},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2633357.2633371},
  doi       = {10.1145/2633357.2633371},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/haskell/StefanLRM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/StefanYMRHKM14,
  author    = {Deian Stefan and
               Edward Z. Yang and
               Petr Marchenko and
               Alejandro Russo and
               David Herman and
               Brad Karp and
               David Mazi{\`{e}}res},
  editor    = {Jason Flinn and
               Hank Levy},
  title     = {Protecting Users by Confining JavaScript with {COWL}},
  booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  pages     = {131--146},
  publisher = {{USENIX} Association},
  year      = {2014},
  url       = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/stefan},
  timestamp = {Tue, 18 Nov 2014 17:19:16 +0100},
  biburl    = {https://dblp.org/rec/conf/osdi/StefanYMRHKM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/StefanBYLTRM13,
  author    = {Deian Stefan and
               Pablo Buiras and
               Edward Z. Yang and
               Amit Levy and
               David Terei and
               Alejandro Russo and
               David Mazi{\`{e}}res},
  editor    = {Jason Crampton and
               Sushil Jajodia and
               Keith Mayes},
  title     = {Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling},
  booktitle = {Computer Security - {ESORICS} 2013 - 18th European Symposium on Research
               in Computer Security, Egham, UK, September 9-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8134},
  pages     = {718--735},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40203-6\_40},
  doi       = {10.1007/978-3-642-40203-6\_40},
  timestamp = {Wed, 25 Sep 2019 18:03:15 +0200},
  biburl    = {https://dblp.org/rec/conf/esorics/StefanBYLTRM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/YangSMMMK13,
  author    = {Edward Z. Yang and
               Deian Stefan and
               John C. Mitchell and
               David Mazi{\`{e}}res and
               Petr Marchenko and
               Brad Karp},
  editor    = {Petros Maniatis},
  title     = {Toward Principled Browser Security},
  booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
               Ana Pueblo, New Mexico, USA, May 13-15, 2013},
  publisher = {{USENIX} Association},
  year      = {2013},
  url       = {https://www.usenix.org/conference/hotos13/session/yang},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/conf/hotos/YangSMMMK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BuirasLSRM13,
  author    = {Pablo Buiras and
               Amit Levy and
               Deian Stefan and
               Alejandro Russo and
               David Mazi{\`{e}}res},
  editor    = {Mart{\'{\i}}n Abadi and
               Alberto Lluch{-}Lafuente},
  title     = {A Library for Removing Cache-Based Attacks in Concurrent Information
               Flow Systems},
  booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
               2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8358},
  pages     = {199--216},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-05119-2\_12},
  doi       = {10.1007/978-3-319-05119-2\_12},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/tgc/BuirasLSRM13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/StefanSY12,
  author    = {Deian Stefan and
               Xiaokui Shu and
               Danfeng (Daphne) Yao},
  title     = {Robustness of keystroke-dynamics based biometrics against synthetic
               forgeries},
  journal   = {Comput. Secur.},
  volume    = {31},
  number    = {1},
  pages     = {109--121},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.cose.2011.10.001},
  doi       = {10.1016/j.cose.2011.10.001},
  timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/compsec/StefanSY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/XuXWSY12,
  author    = {Kui Xu and
               Huijun Xiong and
               Chehai Wu and
               Deian Stefan and
               Danfeng Yao},
  title     = {Data-Provenance Verification For Secure Hosts},
  journal   = {{IEEE} Trans. Dependable Secur. Comput.},
  volume    = {9},
  number    = {2},
  pages     = {173--183},
  year      = {2012},
  url       = {https://doi.org/10.1109/TDSC.2011.50},
  doi       = {10.1109/TDSC.2011.50},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tdsc/XuXWSY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/Mitchell0SZ12,
  author    = {John C. Mitchell and
               Rahul Sharma and
               Deian Stefan and
               Joe Zimmerman},
  editor    = {Stephen Chong},
  title     = {Information-Flow Control for Programming on Encrypted Data},
  booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
               MA, USA, June 25-27, 2012},
  pages     = {45--60},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/CSF.2012.30},
  doi       = {10.1109/CSF.2012.30},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/csfw/Mitchell0SZ12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/StefanRBLMM12,
  author    = {Deian Stefan and
               Alejandro Russo and
               Pablo Buiras and
               Amit Levy and
               John C. Mitchell and
               David Mazi{\`{e}}res},
  editor    = {Peter Thiemann and
               Robby Bruce Findler},
  title     = {Addressing covert termination and timing channels in concurrent information
               flow systems},
  booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  pages     = {201--214},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2364527.2364557},
  doi       = {10.1145/2364527.2364557},
  timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/StefanRBLMM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/GiffinLSTMMR12,
  author    = {Daniel B. Giffin and
               Amit Levy and
               Deian Stefan and
               David Terei and
               David Mazi{\`{e}}res and
               John C. Mitchell and
               Alejandro Russo},
  editor    = {Chandu Thekkath and
               Amin Vahdat},
  title     = {Hails: Protecting Data Privacy in Untrusted Web Applications},
  booktitle = {10th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} 2012, Hollywood, CA, USA, October 8-10, 2012},
  pages     = {47--60},
  publisher = {{USENIX} Association},
  year      = {2012},
  url       = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/giffin},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/conf/osdi/GiffinLSTMMR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1457,
  author    = {Deian Stefan and
               Alejandro Russo and
               John C. Mitchell and
               David Mazi{\`{e}}res},
  title     = {Flexible Dynamic Information Flow Control in the Presence of Exceptions},
  journal   = {CoRR},
  volume    = {abs/1207.1457},
  year      = {2012},
  url       = {http://arxiv.org/abs/1207.1457},
  archivePrefix = {arXiv},
  eprint    = {1207.1457},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1207-1457.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MitchellSSZ12,
  author    = {John C. Mitchell and
               Rahul Sharma and
               Deian Stefan and
               Joe Zimmerman},
  title     = {Information-flow control for programming on encrypted data},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  volume    = {2012},
  pages     = {205},
  year      = {2012},
  url       = {http://eprint.iacr.org/2012/205},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/MitchellSSZ12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BainMSSZ11,
  author    = {Alex Bain and
               John C. Mitchell and
               Rahul Sharma and
               Deian Stefan and
               Joe Zimmerman},
  editor    = {Supratik Chakraborty and
               Amit Kumar},
  title     = {A Domain-Specific Language for Computing on Encrypted Data (Invited
               Talk)},
  booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
               Mumbai, India},
  series    = {LIPIcs},
  volume    = {13},
  pages     = {6--24},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2011},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.6},
  doi       = {10.4230/LIPIcs.FSTTCS.2011.6},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/fsttcs/BainMSSZ11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/StefanRMM11,
  author    = {Deian Stefan and
               Alejandro Russo and
               John C. Mitchell and
               David Mazi{\`{e}}res},
  editor    = {Koen Claessen},
  title     = {Flexible dynamic information flow control in Haskell},
  booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2011, Tokyo, Japan, 22 September 2011},
  pages     = {95--106},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2034675.2034688},
  doi       = {10.1145/2034675.2034688},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/haskell/StefanRMM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/StefanRMM11,
  author    = {Deian Stefan and
               Alejandro Russo and
               David Mazi{\`{e}}res and
               John C. Mitchell},
  editor    = {Peeter Laud},
  title     = {Disjunction Category Labels},
  booktitle = {Information Security Technology for Applications - 16th Nordic Conference
               on Secure {IT} Systems, NordSec 2011, Tallinn, Estonia, October 26-28,
               2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7161},
  pages     = {223--239},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-29615-4\_16},
  doi       = {10.1007/978-3-642-29615-4\_16},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/nordsec/StefanRMM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BainMSSZ11,
  author    = {Alex Bain and
               John C. Mitchell and
               Rahul Sharma and
               Deian Stefan and
               Joe Zimmerman},
  title     = {A Domain-Specific Language for Computing on Encrypted Data},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  volume    = {2011},
  pages     = {561},
  year      = {2011},
  url       = {http://eprint.iacr.org/2011/561},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/BainMSSZ11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/africacrypt/KhazaeiKMS10,
  author    = {Shahram Khazaei and
               Simon Knellwolf and
               Willi Meier and
               Deian Stefan},
  editor    = {Daniel J. Bernstein and
               Tanja Lange},
  title     = {Improved Linear Differential Attacks on CubeHash},
  booktitle = {Progress in Cryptology - {AFRICACRYPT} 2010, Third International Conference
               on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6055},
  pages     = {407--418},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12678-9\_24},
  doi       = {10.1007/978-3-642-12678-9\_24},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/africacrypt/KhazaeiKMS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/BosS10,
  author    = {Joppe W. Bos and
               Deian Stefan},
  editor    = {Stefan Mangard and
               Fran{\c{c}}ois{-}Xavier Standaert},
  title     = {Performance Analysis of the {SHA-3} Candidates on Exotic Multi-core
               Architectures},
  booktitle = {Cryptographic Hardware and Embedded Systems, {CHES} 2010, 12th International
               Workshop, Santa Barbara, CA, USA, August 17-20, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6225},
  pages     = {279--293},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15031-9\_19},
  doi       = {10.1007/978-3-642-15031-9\_19},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/conf/ches/BosS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/StefanY10,
  author    = {Deian Stefan and
               Danfeng Yao},
  editor    = {Karl Aberer and
               James Joshi},
  title     = {Keystroke-dynamics authentication against synthetic forgeries},
  booktitle = {The 6th International Conference on Collaborative Computing: Networking,
               Applications and Worksharing, CollaborateCom 2010, Chicago, IL, USA,
               9-12 October 2010},
  pages     = {1--8},
  publisher = {{ICST} / {IEEE}},
  year      = {2010},
  url       = {https://doi.org/10.4108/icst.collaboratecom.2010.16},
  doi       = {10.4108/icst.collaboratecom.2010.16},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/colcom/StefanY10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fse/OsvikBSC10,
  author    = {Dag Arne Osvik and
               Joppe W. Bos and
               Deian Stefan and
               David Canright},
  editor    = {Seokhie Hong and
               Tetsu Iwata},
  title     = {Fast Software {AES} Encryption},
  booktitle = {Fast Software Encryption, 17th International Workshop, {FSE} 2010,
               Seoul, Korea, February 7-10, 2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6147},
  pages     = {75--93},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13858-4\_5},
  doi       = {10.1007/978-3-642-13858-4\_5},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fse/OsvikBSC10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisc/Stefan09,
  author    = {Deian Stefan},
  editor    = {Feng Bao and
               Moti Yung and
               Dongdai Lin and
               Jiwu Jing},
  title     = {Hardware Framework for the Rabbit Stream Cipher},
  booktitle = {Information Security and Cryptology - 5th International Conference,
               Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6151},
  pages     = {230--247},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-16342-5\_17},
  doi       = {10.1007/978-3-642-16342-5\_17},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/cisc/Stefan09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ersa/EdreesCSNS09,
  author    = {Hassan Edrees and
               Brian Cheung and
               McCullen Sandora and
               David B. Nummey and
               Deian Stefan},
  editor    = {Toomas P. Plaks},
  title     = {Hardware-Optimized Ziggurat Algorithm for High-Speed Gaussian Random
               Number Generators},
  booktitle = {Proceedings of the 2009 International Conference on Engineering of
               Reconfigurable Systems {\&} Algorithms, {ERSA} 2009, July 13-16,
               2009, Las Vegas Nevada, {USA}},
  pages     = {254--260},
  publisher = {{CSREA} Press},
  year      = {2009},
  timestamp = {Tue, 03 Nov 2009 10:35:19 +0100},
  biburl    = {https://dblp.org/rec/conf/ersa/EdreesCSNS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/XiongMSWY09,
  author    = {Huijun Xiong and
               Prateek Malhotra and
               Deian Stefan and
               Chehai Wu and
               Danfeng Yao},
  editor    = {Sihan Qing and
               Chris J. Mitchell and
               Guilin Wang},
  title     = {User-Assisted Host-Based Detection of Outbound Malware Traffic},
  booktitle = {Information and Communications Security, 11th International Conference,
               {ICICS} 2009, Beijing, China, December 14-17, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5927},
  pages     = {293--307},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-11145-7\_23},
  doi       = {10.1007/978-3-642-11145-7\_23},
  timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icics/XiongMSWY09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BosOS09,
  author    = {Joppe W. Bos and
               Dag Arne Osvik and
               Deian Stefan},
  title     = {Fast Implementations of {AES} on Various Platforms},
  journal   = {{IACR} Cryptol. ePrint Arch.},
  volume    = {2009},
  pages     = {501},
  year      = {2009},
  url       = {http://eprint.iacr.org/2009/501},
  timestamp = {Mon, 11 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iacr/BosOS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/DalalSH08,
  author    = {Ishaan L. Dalal and
               Deian Stefan and
               Jared Harwayne{-}Gidansky},
  title     = {Low discrepancy sequences for Monte Carlo simulations on reconfigurable
               platforms},
  booktitle = {19th {IEEE} International Conference on Application-Specific Systems,
               Architectures and Processors, {ASAP} 2008, July 2-4, 2008, Leuven,
               Belgium},
  pages     = {108--113},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://doi.org/10.1109/ASAP.2008.4580163},
  doi       = {10.1109/ASAP.2008.4580163},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/asap/DalalSH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/DalalS08,
  author    = {Ishaan L. Dalal and
               Deian Stefan},
  editor    = {Mike Hutton and
               Paul Chow},
  title     = {A hardware framework for the fast generation of multiple long-period
               random number streams},
  booktitle = {Proceedings of the {ACM/SIGDA} 16th International Symposium on Field
               Programmable Gate Arrays, {FPGA} 2008, Monterey, California, USA,
               February 24-26, 2008},
  pages     = {245--254},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1344671.1344707},
  doi       = {10.1145/1344671.1344707},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/conf/fpga/DalalS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/StefanNHD08,
  author    = {Deian Stefan and
               David B. Nummey and
               Jared Harwayne{-}Gidansky and
               Ishaan L. Dalal},
  title     = {On Parallelizing the CryptMT Stream Cipher},
  booktitle = {Proceedings of the 67th {IEEE} Vehicular Technology Conference, {VTC}
               Spring 2008, 11-14 May 2008, Singapore},
  pages     = {1082--1086},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {https://doi.org/10.1109/VETECS.2008.230},
  doi       = {10.1109/VETECS.2008.230},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/vtc/StefanNHD08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/crossroads/Stefan07,
  author    = {Deian Stefan},
  title     = {Prostate ultrasound image processing},
  journal   = {{ACM} Crossroads},
  volume    = {13},
  number    = {3},
  pages     = {8},
  year      = {2007},
  url       = {https://doi.org/10.1145/1247238.1247246},
  doi       = {10.1145/1247238.1247246},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/crossroads/Stefan07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics