Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Deian Stefan
@article{DBLP:journals/ftpl/VassenaRGRS23,
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 = {Found. Trends Program. Lang.},
volume = {8},
number = {1},
pages = {1--117},
year = {2023},
url = {https://doi.org/10.1561/2500000046},
doi = {10.1561/2500000046},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/VassenaRGRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MichaelGBJDDWPPVS23,
author = {Alexandra E. Michael and
Anitha Gollamudi and
Jay Bosamiya and
Evan Johnson and
Aidan Denlinger and
Craig Disselkoen and
Conrad Watt and
Bryan Parno and
Marco Patrignani and
Marco Vassena and
Deian Stefan},
title = {MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {425--454},
year = {2023},
url = {https://doi.org/10.1145/3571208},
doi = {10.1145/3571208},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MichaelGBJDDWPPVS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/NarayanGTRM0FVL23,
author = {Shravan Narayan and
Tal Garfinkel and
Mohammadkazem Taram and
Joey Rudek and
Daniel Moghimi and
Evan Johnson and
Chris Fallin and
Anjo Vahldiek{-}Oberwagner and
Michael LeMay and
Ravi Sahita and
Dean M. Tullsen and
Deian Stefan},
editor = {Tor M. Aamodt and
Natalie D. Enright Jerger and
Michael M. Swift},
title = {Going beyond the Limits of {SFI:} Flexible and Secure Hardware-Assisted
In-Process Isolation with {HFI}},
booktitle = {Proceedings of the 28th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 3,
{ASPLOS} 2023, Vancouver, BC, Canada, March 25-29, 2023},
pages = {266--281},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3582016.3582023},
doi = {10.1145/3582016.3582023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/NarayanGTRM0FVL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/YavarzadehTNST23,
author = {Hosein Yavarzadeh and
Mohammadkazem Taram and
Shravan Narayan and
Deian Stefan and
Dean M. Tullsen},
title = {Half{\&}Half: Demystifying Intel's Directional Branch Predictors
for Fast, Secure Partitioned Execution},
booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
CA, USA, May 21-25, 2023},
pages = {1220--1237},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SP46215.2023.10179415},
doi = {10.1109/SP46215.2023.10179415},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/YavarzadehTNST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/YavarzadehTNST23a,
author = {Hosein Yavarzadeh and
Mohammadkazem Taram and
Shravan Narayan and
Deian Stefan and
Dean M. Tullsen},
title = {Half{\&}Half: Demystifying Intel's Directional Branch Predictors
for Fast, Secure Partitioned Execution},
booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
CA, USA, May 21-25, 2023},
pages = {1220--1237},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SP46215.2023.10179309},
doi = {10.1109/SP46215.2023.10179309},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/YavarzadehTNST23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/JohnsonLZGNSSB23,
author = {Evan Johnson and
Evan Laufer and
Zijie Zhao and
Dan Gohman and
Shravan Narayan and
Stefan Savage and
Deian Stefan and
Fraser Brown},
title = {WaVe: a verifiably secure WebAssembly sandboxing runtime},
booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
CA, USA, May 21-25, 2023},
pages = {2940--2955},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SP46215.2023.10179357},
doi = {10.1109/SP46215.2023.10179357},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/JohnsonLZGNSSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-05831,
author = {Matthew Kolosick and
Basavesh Ammanaghatta Shivakumar and
Sunjay Cauligi and
Marco Patrignani and
Marco Vassena and
Ranjit Jhala and
Deian Stefan},
title = {Robust Constant-Time Cryptography},
journal = {CoRR},
volume = {abs/2311.05831},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.05831},
doi = {10.48550/ARXIV.2311.05831},
eprinttype = {arXiv},
eprint = {2311.05831},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-05831.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BhargavanPRS23,
author = {Karthikeyan Bhargavan and
Jonathan Protzenko and
Andreas Rossberg and
Deian Stefan},
title = {Foundations of WebAssembly (Dagstuhl Seminar 23101)},
journal = {Dagstuhl Reports},
volume = {13},
number = {3},
pages = {1--16},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.3.1},
doi = {10.4230/DAGREP.13.3.1},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BhargavanPRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KolosickNJWLGJS22,
author = {Matthew Kolosick and
Shravan Narayan and
Evan Johnson and
Conrad Watt and
Michael LeMay and
Deepak Garg and
Ranjit Jhala and
Deian Stefan},
title = {Isolation without taxation: near-zero-cost transitions for WebAssembly
and {SFI}},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--30},
year = {2022},
url = {https://doi.org/10.1145/3498688},
doi = {10.1145/3498688},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KolosickNJWLGJS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/SmithSHLSH22,
author = {Michael Smith and
Peter Snyder and
Moritz Haller and
Benjamin Livshits and
Deian Stefan and
Hamed Haddadi},
title = {Blocked or Broken? Automatically Detecting When Privacy Interventions
Break Websites},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2022},
number = {4},
pages = {6--23},
year = {2022},
url = {https://doi.org/10.56553/popets-2022-0096},
doi = {10.56553/POPETS-2022-0096},
timestamp = {Fri, 30 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/SmithSHLSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/CauligiDMBS22,
author = {Sunjay Cauligi and
Craig Disselkoen and
Daniel Moghimi and
Gilles Barthe and
Deian Stefan},
title = {SoK: Practical Foundations for Software Spectre Defenses},
booktitle = {43rd {IEEE} Symposium on Security and Privacy, {SP} 2022, San Francisco,
CA, USA, May 22-26, 2022},
pages = {666--680},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SP46214.2022.9833707},
doi = {10.1109/SP46214.2022.9833707},
timestamp = {Thu, 21 Sep 2023 15:57:27 +0200},
biburl = {https://dblp.org/rec/conf/sp/CauligiDMBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-03528,
author = {Michael Smith and
Peter Snyder and
Moritz Haller and
Benjamin Livshits and
Deian Stefan and
Hamed Haddadi},
title = {Blocked or Broken? Automatically Detecting When Privacy Interventions
Break Websites},
journal = {CoRR},
volume = {abs/2203.03528},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.03528},
doi = {10.48550/ARXIV.2203.03528},
eprinttype = {arXiv},
eprint = {2203.03528},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-03528.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-01548,
author = {Sunjay Cauligi and
Marco Guarnieri and
Daniel Moghimi and
Deian Stefan and
Marco Vassena},
title = {A Turning Point for Verified Spectre Sandboxing},
journal = {CoRR},
volume = {abs/2208.01548},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.01548},
doi = {10.48550/ARXIV.2208.01548},
eprinttype = {arXiv},
eprint = {2208.01548},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-01548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-13560,
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, a Tutorial on Dynamic Information Flow},
journal = {CoRR},
volume = {abs/2208.13560},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.13560},
doi = {10.48550/ARXIV.2208.13560},
eprinttype = {arXiv},
eprint = {2208.13560},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-13560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-13583,
author = {Alexandra E. Michael and
Anitha Gollamudi and
Jay Bosamiya and
Craig Disselkoen and
Aidan Denlinger and
Conrad Watt and
Bryan Parno and
Marco Patrignani and
Marco Vassena and
Deian Stefan},
title = {MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code},
journal = {CoRR},
volume = {abs/2208.13583},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.13583},
doi = {10.48550/ARXIV.2208.13583},
eprinttype = {arXiv},
eprint = {2208.13583},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-13583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VassenaDGCKJTS21,
author = {Marco Vassena and
Craig Disselkoen and
Klaus von Gleissenthall and
Sunjay Cauligi and
Rami G{\"{o}}khan Kici and
Ranjit Jhala and
Dean M. Tullsen and
Deian Stefan},
title = {Automatically eliminating speculative leaks from cryptographic code
with blade},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3434330},
doi = {10.1145/3434330},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/VassenaDGCKJTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/GleissenthallKS21,
author = {Klaus von Gleissenthall and
Rami G{\"{o}}khan Kici and
Deian Stefan and
Ranjit Jhala},
editor = {Yongdae Kim and
Jong Kim and
Giovanni Vigna and
Elaine Shi},
title = {Solver-Aided Constant-Time Hardware Verification},
booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
pages = {429--444},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460120.3484810},
doi = {10.1145/3460120.3484810},
timestamp = {Tue, 16 Nov 2021 12:59:46 +0100},
biburl = {https://dblp.org/rec/conf/ccs/GleissenthallKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SmithSLS21,
author = {Michael Smith and
Peter Snyder and
Benjamin Livshits and
Deian Stefan},
editor = {Yongdae Kim and
Jong Kim and
Giovanni Vigna and
Elaine Shi},
title = {SugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible
Resource Replacements for Content Blocking},
booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
pages = {2844--2857},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460120.3484578},
doi = {10.1145/3460120.3484578},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/SmithSLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/JohnsonTANBLMSS21,
author = {Evan Johnson and
David Thien and
Yousef Alhessi and
Shravan Narayan and
Fraser Brown and
Sorin Lerner and
Tyler McMullen and
Stefan Savage and
Deian Stefan},
title = {{\cyrchar\CYRD}{\cyrchar\cyro}{\cyrchar\cyrv}{\cyrchar\cyre}{\cyrchar\cyrr}{\cyrchar\cyrya}'{\cyrchar\cyrishrt},
{\cyrchar\cyrn}{\cyrchar\cyro} {\cyrchar\cyrp}{\cyrchar\cyrr}{\cyrchar\cyro}{\cyrchar\cyrv}{\cyrchar\cyre}{\cyrchar\cyrr}{\cyrchar\cyrya}'{\cyrchar\cyrishrt}:
{SFI} safety for native-compiled Wasm},
booktitle = {28th Annual Network and Distributed System Security Symposium, {NDSS}
2021, virtually, February 21-25, 2021},
publisher = {The Internet Society},
year = {2021},
url = {https://www.ndss-symposium.org/ndss-paper/\%d0\%b4\%d0\%be\%d0\%b2\%d0\%b5\%d1\%80\%d1\%8f\%d0\%b9-\%d0\%bd\%d0\%be-\%d0\%bf\%d1\%80\%d0\%be\%d0\%b2\%d0\%b5\%d1\%80\%d1\%8f\%d0\%b9-sfi-safety-for-native-compiled-wasm/},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ndss/JohnsonTANBLMSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/LehmannKB0VPSJ21,
author = {Nico Lehmann and
Rose Kunkel and
Jordan Brown and
Jean Yang and
Niki Vazou and
Nadia Polikarpova and
Deian Stefan and
Ranjit Jhala},
editor = {Angela Demke Brown and
Jay R. Lorch},
title = {{STORM:} Refinement Types for Secure Web Applications},
booktitle = {15th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2021, July 14-16, 2021},
pages = {441--459},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/osdi21/presentation/lehmann},
timestamp = {Thu, 12 Aug 2021 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/osdi/LehmannKB0VPSJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RennerSBLS21,
author = {John Renner and
Alex Sanchez{-}Stern and
Fraser Brown and
Sorin Lerner and
Deian Stefan},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Scooter {\&} Sidecar: a domain-specific approach to writing secure
database migrations},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {710--724},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454072},
doi = {10.1145/3453483.3454072},
timestamp = {Thu, 09 Dec 2021 07:39:43 +0100},
biburl = {https://dblp.org/rec/conf/pldi/RennerSBLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/NarayanDS21,
author = {Shravan Narayan and
Craig Disselkoen and
Deian Stefan},
title = {Tutorial: Sandboxing (unsafe) {C} code with RLBox},
booktitle = {{IEEE} Secure Development Conference, SecDev 2021, Atlanta, GA, USA,
October 18-20, 2021},
pages = {11--12},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SecDev51306.2021.00017},
doi = {10.1109/SECDEV51306.2021.00017},
timestamp = {Thu, 30 Dec 2021 09:40:17 +0100},
biburl = {https://dblp.org/rec/conf/secdev/NarayanDS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/NarayanDMCJGVSS21,
author = {Shravan Narayan and
Craig Disselkoen and
Daniel Moghimi and
Sunjay Cauligi and
Evan Johnson and
Zhao Gang and
Anjo Vahldiek{-}Oberwagner and
Ravi Sahita and
Hovav Shacham and
Dean M. Tullsen and
Deian Stefan},
editor = {Michael D. Bailey and
Rachel Greenstadt},
title = {Swivel: Hardening WebAssembly against Spectre},
booktitle = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
2021},
pages = {1433--1450},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/narayan},
timestamp = {Mon, 20 Nov 2023 08:57:49 +0100},
biburl = {https://dblp.org/rec/conf/uss/NarayanDMCJGVSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12730,
author = {Shravan Narayan and
Craig Disselkoen and
Daniel Moghimi and
Sunjay Cauligi and
Evan Johnson and
Zhao Gang and
Anjo Vahldiek{-}Oberwagner and
Ravi Sahita and
Hovav Shacham and
Dean M. Tullsen and
Deian Stefan},
title = {Swivel: Hardening WebAssembly against Spectre},
journal = {CoRR},
volume = {abs/2102.12730},
year = {2021},
url = {https://arxiv.org/abs/2102.12730},
eprinttype = {arXiv},
eprint = {2102.12730},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12730.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-00461,
author = {Rami G{\"{o}}khan Kici and
Klaus von Gleissenthall and
Deian Stefan and
Ranjit Jhala},
title = {Solver-Aided Constant-Time Circuit Verification},
journal = {CoRR},
volume = {abs/2104.00461},
year = {2021},
url = {https://arxiv.org/abs/2104.00461},
eprinttype = {arXiv},
eprint = {2104.00461},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-00461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00033,
author = {Matthew Kolosick and
Shravan Narayan and
Conrad Watt and
Michael LeMay and
Deepak Garg and
Ranjit Jhala and
Deian Stefan},
title = {Isolation Without Taxation: Near Zero Cost Transitions for {SFI}},
journal = {CoRR},
volume = {abs/2105.00033},
year = {2021},
url = {https://arxiv.org/abs/2105.00033},
eprinttype = {arXiv},
eprint = {2105.00033},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-00033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-05801,
author = {Sunjay Cauligi and
Craig Disselkoen and
Daniel Moghimi and
Gilles Barthe and
Deian Stefan},
title = {SoK: Practical Foundations for Spectre Defenses},
journal = {CoRR},
volume = {abs/2105.05801},
year = {2021},
url = {https://arxiv.org/abs/2105.05801},
eprinttype = {arXiv},
eprint = {2105.05801},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-05801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PolikarpovaSYIH20,
author = {Nadia Polikarpova and
Deian Stefan and
Jean Yang and
Shachar Itzhaky and
Travis Hance and
Armando Solar{-}Lezama},
title = {Liquid information flow control},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{ICFP}},
pages = {105:1--105:30},
year = {2020},
url = {https://doi.org/10.1145/3408987},
doi = {10.1145/3408987},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/PolikarpovaSYIH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/usenix-login/GarfinkelNDSS20,
author = {Tal Garfinkel and
Shravan Narayan and
Craig Disselkoen and
Hovav Shacham and
Deian Stefan},
title = {The Road to Less Trusted Code: Lowering the Barrier to In-Process
Sandboxing},
journal = {login Usenix Mag.},
volume = {45},
number = {4},
year = {2020},
url = {https://www.usenix.org/publications/login/winter2020/garfinkel-tal},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/usenix-login/GarfinkelNDSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CauligiDGTSRB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BrownSE20,
author = {Fraser Brown and
Deian Stefan and
Dawson R. Engler},
editor = {Srdjan Capkun and
Franziska Roesner},
title = {Sys: {A} Static/Symbolic Tool for Finding Good Bugs in Good (Browser)
Code},
booktitle = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14,
2020},
pages = {199--216},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/usenixsecurity20/presentation/brown},
timestamp = {Fri, 29 Jan 2021 22:08:55 +0100},
biburl = {https://dblp.org/rec/conf/uss/BrownSE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/NarayanDGFRLSS20,
author = {Shravan Narayan and
Craig Disselkoen and
Tal Garfinkel and
Nathan Froyd and
Eric Rahm and
Sorin Lerner and
Hovav Shacham and
Deian Stefan},
editor = {Srdjan Capkun and
Franziska Roesner},
title = {Retrofitting Fine Grain Isolation in the Firefox Renderer},
booktitle = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14,
2020},
pages = {699--716},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/usenixsecurity20/presentation/narayan},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/NarayanDGFRLSS20.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},
eprinttype = {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},
eprinttype = {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 = {Wed, 17 Feb 2021 00:00:00 +0100},
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 = {Mon, 26 Jun 2023 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 = {Wed, 16 Mar 2022 00:00:00 +0100},
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 = {Fri, 09 Apr 2021 01:00:00 +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 = {Fri, 09 Jul 2021 15:51:20 +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 = {Mon, 01 Feb 2021 08:43:12 +0100},
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},
eprinttype = {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},
eprinttype = {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},
eprinttype = {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 = {Tue, 10 Nov 2020 20:00:51 +0100},
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, 01 Feb 2021 08:41:54 +0100},
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},
eprinttype = {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, 28 Aug 2023 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 = {Mon, 26 Jun 2023 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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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, 10 Nov 2020 20:00:49 +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, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/2016plas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Stefan15,
author = {Deian Stefan},
title = {Principled and practical web application security},
school = {Stanford University, {USA}},
year = {2015},
url = {https://searchworks.stanford.edu/view/11513057},
timestamp = {Fri, 02 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Stefan15.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 = {Mon, 26 Jun 2023 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},
eprinttype = {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},
eprinttype = {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 = {Mon, 26 Jun 2023 01:00:00 +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 = {Thu, 24 Jun 2021 16:19:29 +0200},
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 = {Mon, 26 Jun 2023 01:00:00 +0200},
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, 02 Feb 2021 08:05:58 +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 = {Mon, 26 Jun 2023 01:00:00 +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 = {Mon, 26 Jun 2023 01:00:00 +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 = {Mon, 28 Aug 2023 01:00:00 +0200},
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, 14 Oct 2021 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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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, 26 Jun 2023 01:00:00 +0200},
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 = {Tue, 02 Feb 2021 08:05:55 +0100},
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},
eprinttype = {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.},
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 = {Sun, 02 Oct 2022 01:00:00 +0200},
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 = {Mon, 26 Jun 2023 01:00:00 +0200},
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 = {Mon, 26 Jun 2023 01:00:00 +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.},
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 = {Thu, 14 Oct 2021 01:00:00 +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, 14 Oct 2021 01:00:00 +0200},
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.},
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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
