Deian Stefan

发表

Deian Stefan, Alejandro Russo, Pablo Buiras, 2012, ICFP '12.
Deian Stefan, Joppe W. Bos, Dag Arne Osvik, 2010, FSE.
Deian Stefan, Danfeng Yao, Kui Xu, 2012, IEEE Transactions on Dependable and Secure Computing.
Matthew Chan, Deian Stefan, John Renner, 2019, POST.
Deian Stefan, Alejandro Russo, John C. Mitchell, 2011, NordSec.
Deian Stefan, John Renner, Conrad Watt, 2018, Proc. ACM Program. Lang..
Deian Stefan, Ranjit Jhala, Andres Nötzli, 2018, CCS.
Shahram Khazaei, Willi Meier, Deian Stefan, 2010, AFRICACRYPT.
Deian Stefan, Alejandro Russo, Stefan Heule, 2015, HotOS.
Deian Stefan, Alejandro Russo, John C. Mitchell, 2015, POST.
Shravan Narayan, Deian Stefan, Jean-Pierre Talpin, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Shravan Narayan, Dawson R. Engler, Deian Stefan, 2017, 2017 IEEE Symposium on Security and Privacy (SP).
Deian Stefan, Alejandro Russo, Amit A. Levy, 2012, OSDI.
Deian Stefan, Amit A. Levy, David Mazières, 2014, Haskell '14.
Deian Stefan, Alejandro Russo, Stefan Heule, 2015 .
Deian Stefan, John C. Mitchell, Rahul Sharma, 2011, IACR Cryptol. ePrint Arch..
Deian Stefan, Alejandro Russo, John C. Mitchell, 2012, Haskell '11.
Deian Stefan, Danfeng Yao, Huijun Xiong, 2009, ICICS.
Deian Stefan, John C. Mitchell, Rahul Sharma, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.
Deian Stefan, Alejandro Russo, David Mazières, 2014, OSDI.
Deian Stefan, D. Stefan, 2009, Inscrypt.
Deian Stefan, 2007, CROS.
Deian Stefan, Alejandro Russo, Pablo Buiras, 2013, ESORICS.
Deian Stefan, John C. Mitchell, David Mazières, 2013, HotOS.
Deian Stefan, Joppe W. Bos, Dag Arne Osvik, 2009, IACR Cryptol. ePrint Arch..
Shravan Narayan, Craig Disselkoen, Deian Stefan, 2018, WOOT @ USENIX Security Symposium.
Deian Stefan, John C. Mitchell, 2011 .
Deian Stefan, John C. Mitchell, Rahul Sharma, 2011, FSTTCS.
Deian Stefan, Alejandro Russo, Amit A. Levy, 2014, Haskell '14.
Deian Stefan, Danfeng Yao, D. Yao, 2010, 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2010).
Deian Stefan, Alejandro Russo, David Mazières, 2012 .
Deian Stefan, David Mazières, 2014, PLAS@ECOOP.
Deian Stefan, Alejandro Russo, Pablo Buiras, 2013, TGC.
Deian Stefan, Ranjit Jhala, Fraser Brown, 2017, 2017 IEEE Cybersecurity Development (SecDev).
Deian Stefan, Alejandro Russo, John C. Mitchell, 2011 .
Deian Stefan, Alejandro Russo, Pablo Buiras, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.
Benjamin Grégoire, Gilles Barthe, Deian Stefan, 2019, PLDI.
Deian Stefan, Alejandro Russo, Deepak Garg, 2019, Proc. ACM Program. Lang..
Tal Garfinkel, Craig Disselkoen, Deian Stefan, 2019, HASP@ISCA.
Deian Stefan, Ranjit Jhala, Rami Gökhan Kici, 2019, Proc. ACM Program. Lang..
Deian Stefan, Alejandro Russo, John C. Mitchell, 2014, POST 2014.
Deian Stefan, Danfeng Yao, Xiaokui Shu, 2012, Comput. Secur..
Shravan Narayan, Deian Stefan, Ranjit Jhala, 2021, Proc. ACM Program. Lang..
Craig Disselkoen, Gilles Barthe, Deian Stefan, 2021 .
Deian Stefan, Ranjit Jhala, Rami Gökhan Kici, 2021, ArXiv.
Sorin Lerner, Deian Stefan, Alex Sanchez-Stern, 2021, Artifact Digital Object Group.
Shravan Narayan, Craig Disselkoen, Hovav Shacham, 2021, USENIX Security Symposium.
Deian Stefan, Ranjit Jhala, Rami Gökhan Kici, 2021, CCS.
Deian Stefan, Ranjit Jhala, Nadia Polikarpova, 2021, OSDI.
Sorin Lerner, Deian Stefan, Alex Sanchez-Stern, 2021, PLDI.
Craig Disselkoen, Gilles Barthe, Deian Stefan, 2021, ArXiv.
Shravan Narayan, Craig Disselkoen, Deian Stefan, 2021, 2021 IEEE Secure Development Conference (SecDev).
Deian Stefan, Christopher Mitchell, 2008 .
Armando Solar-Lezama, Deian Stefan, Nadia Polikarpova, 2016, Proc. ACM Program. Lang..