default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Daniel Hedin
@inproceedings{DBLP:conf/qomex/FranklinHLF24,
author = {Austin Franklin and
Daniel Hedin and
Rikard Lindell and
Henrik Frisk},
title = {Merging Places: {A} Real-Time Distributed Live Reverberation Chamber},
booktitle = {16th International Conference on Quality of Multimedia Experience,
QoMEX 2024, Karlshamn, Sweden, June 18-20, 2024},
pages = {54--57},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/QoMEX61742.2024.10598285},
doi = {10.1109/QOMEX61742.2024.10598285},
timestamp = {Thu, 01 Aug 2024 14:16:16 +0200},
biburl = {https://dblp.org/rec/conf/qomex/FranklinHLF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AhmadpanahHS23,
author = {Mohammad M. Ahmadpanah and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Poster: Data Minimization by Construction for Trigger-Action Applications},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {3522--3524},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3624376},
doi = {10.1145/3576915.3624376},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/AhmadpanahHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AhmadpanahHS23,
author = {Mohammad M. Ahmadpanah and
Daniel Hedin and
Andrei Sabelfeld},
title = {LazyTAP: On-Demand Data Minimization for Trigger-Action Applications},
booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
CA, USA, May 21-25, 2023},
pages = {3079--3097},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SP46215.2023.10179425},
doi = {10.1109/SP46215.2023.10179425},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/AhmadpanahHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AhmadpanahBHOS21,
author = {Mohammad M. Ahmadpanah and
Musard Balliu and
Daniel Hedin and
Lars Eric Olsson and
Andrei Sabelfeld},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {Securing Node-RED Applications},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {1--21},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_1},
doi = {10.1007/978-3-030-91631-2\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AhmadpanahBHOS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/SjostenHS21,
author = {Alexander Sj{\"{o}}sten and
Daniel Hedin and
Andrei Sabelfeld},
title = {EssentialFP: Exposing the Essence of Browser Fingerprinting},
booktitle = {{IEEE} European Symposium on Security and Privacy Workshops, EuroS{\&}P
2021, Vienna, Austria, September 6-10, 2021},
pages = {32--48},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EuroSPW54576.2021.00011},
doi = {10.1109/EUROSPW54576.2021.00011},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosp/SjostenHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/AhmadpanahHBOS21,
author = {Mohammad M. Ahmadpanah and
Daniel Hedin and
Musard Balliu and
Lars Eric Olsson and
Andrei Sabelfeld},
editor = {Michael D. Bailey and
Rachel Greenstadt},
title = {SandTrap: Securing JavaScript-driven Trigger-Action Platforms},
booktitle = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13,
2021},
pages = {2899--2916},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/usenixsecurity21/presentation/ahmadpanah},
timestamp = {Mon, 20 Nov 2023 08:57:49 +0100},
biburl = {https://dblp.org/rec/conf/uss/AhmadpanahHBOS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/SjostenHS18,
author = {Alexander Sj{\"{o}}sten and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Christel Baier and
Lu{\'{\i}}s Caires},
title = {Information Flow Tracking for Side-Effectful Libraries},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
as Part of the 13th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10854},
pages = {141--160},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92612-4\_8},
doi = {10.1007/978-3-319-92612-4\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/SjostenHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/HedinSPS17,
author = {Daniel Hedin and
Alexander Sj{\"{o}}sten and
Frank Piessens and
Andrei Sabelfeld},
editor = {Matteo Maffei and
Mark Ryan},
title = {A Principled Approach to Tracking Information Flow in the Presence
of Libraries},
booktitle = {Principles of Security and Trust - 6th International Conference, {POST}
2017, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10204},
pages = {49--70},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54455-6\_3},
doi = {10.1007/978-3-662-54455-6\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/HedinSPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/HedinBS15,
author = {Daniel Hedin and
Luciano Bello and
Andrei Sabelfeld},
title = {Information-flow security for JavaScript and its APIs},
journal = {J. Comput. Secur.},
volume = {24},
number = {2},
pages = {181--234},
year = {2016},
url = {https://doi.org/10.3233/JCS-160544},
doi = {10.3233/JCS-160544},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/HedinBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Hedin16,
author = {Daniel Hedin},
title = {App security with JSFlow},
booktitle = {Proceedings of the International Conference on Mobile Software Engineering
and Systems, MOBILESoft '16, Austin, Texas, USA, May 14-22, 2016},
pages = {289--290},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897073.2897714},
doi = {10.1145/2897073.2897714},
timestamp = {Tue, 06 Nov 2018 11:06:55 +0100},
biburl = {https://dblp.org/rec/conf/icse/Hedin16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HedinBS15,
author = {Daniel Hedin and
Luciano Bello and
Andrei Sabelfeld},
editor = {C{\'{e}}dric Fournet and
Michael W. Hicks and
Luca Vigan{\`{o}}},
title = {Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like
Language},
booktitle = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
Italy, 13-17 July, 2015},
pages = {351--365},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSF.2015.31},
doi = {10.1109/CSF.2015.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HedinBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BelloHS15,
author = {Luciano Bello and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Value Sensitivity and Observable Abstract Values for Information Flow
Control},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {63--78},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_5},
doi = {10.1007/978-3-662-48899-7\_5},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BelloHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/HedinS15,
author = {Daniel Hedin and
Andrei Sabelfeld},
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Web Application Security Using JSFlow},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
pages = {16--19},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SYNASC.2015.11},
doi = {10.1109/SYNASC.2015.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/HedinS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/MagaziniusHS14,
author = {Jonas Magazinius and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Jan J{\"{u}}rjens and
Frank Piessens and
Nataliia Bielova},
title = {Architectures for Inlining Security Monitors in Web Applications},
booktitle = {Engineering Secure Software and Systems - 6th International Symposium,
ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8364},
pages = {141--160},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04897-0\_10},
doi = {10.1007/978-3-319-04897-0\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/MagaziniusHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SchoepeHS14,
author = {Daniel Schoepe and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {SeLINQ: tracking information across application-database boundaries},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {25--38},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628151},
doi = {10.1145/2628136.2628151},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SchoepeHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HedinBBS14,
author = {Daniel Hedin and
Arnar Birgisson and
Luciano Bello and
Andrei Sabelfeld},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {JSFlow: tracking information flow in JavaScript and its APIs},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1663--1671},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554909},
doi = {10.1145/2554850.2554909},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/HedinBBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HedinS12,
author = {Daniel Hedin and
Andrei Sabelfeld},
editor = {Stephen Chong},
title = {Information-Flow Security for a Core of JavaScript},
booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
MA, USA, June 25-27, 2012},
pages = {3--18},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSF.2012.19},
doi = {10.1109/CSF.2012.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HedinS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/RafnssonHS12,
author = {Willard Rafnsson and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Stephen Chong},
title = {Securing Interactive Programs},
booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
MA, USA, June 25-27, 2012},
pages = {293--307},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSF.2012.15},
doi = {10.1109/CSF.2012.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/RafnssonHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BirgissonHS12,
author = {Arnar Birgisson and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Sara Foresti and
Moti Yung and
Fabio Martinelli},
title = {Boosting the Permissiveness of Dynamic Information-Flow Tracking by
Testing},
booktitle = {Computer Security - {ESORICS} 2012 - 17th European Symposium on Research
in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7459},
pages = {55--72},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33167-1\_4},
doi = {10.1007/978-3-642-33167-1\_4},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/BirgissonHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/HedinS12,
author = {Daniel Hedin and
Andrei Sabelfeld},
editor = {Tobias Nipkow and
Orna Grumberg and
Benedikt Hauptmann},
title = {A Perspective on Information-Flow Control},
booktitle = {Software Safety and Security - Tools for Analysis and Verification},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {33},
pages = {319--347},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-028-4-319},
doi = {10.3233/978-1-61499-028-4-319},
timestamp = {Wed, 04 Mar 2020 14:10:38 +0100},
biburl = {https://dblp.org/rec/series/natosec/HedinS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartheHBGH10,
author = {Gilles Barthe and
Daniel Hedin and
Santiago Zanella B{\'{e}}guelin and
Benjamin Gr{\'{e}}goire and
Sylvain Heraud},
title = {A Machine-Checked Formalization of Sigma-Protocols},
booktitle = {Proceedings of the 23rd {IEEE} Computer Security Foundations Symposium,
{CSF} 2010, Edinburgh, United Kingdom, July 17-19, 2010},
pages = {246--260},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CSF.2010.24},
doi = {10.1109/CSF.2010.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BartheHBGH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AskarovHS08,
author = {Aslan Askarov and
Daniel Hedin and
Andrei Sabelfeld},
title = {Cryptographically-masked flows},
journal = {Theor. Comput. Sci.},
volume = {402},
number = {2-3},
pages = {82--101},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.028},
doi = {10.1016/J.TCS.2008.04.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AskarovHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GedellH08,
author = {Tobias Gedell and
Daniel Hedin},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Abstract Interpretation Plugins for Type Systems},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {184--198},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_15},
doi = {10.1007/978-3-540-79980-1\_15},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/GedellH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HedinS06,
author = {Daniel Hedin and
David Sands},
title = {Noninterference in the Presence of Non-Opaque Pointers},
booktitle = {19th {IEEE} Computer Security Foundations Workshop, {(CSFW-19} 2006),
5-7 July 2006, Venice, Italy},
pages = {217--229},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CSFW.2006.19},
doi = {10.1109/CSFW.2006.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/HedinS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AskarovHS06,
author = {Aslan Askarov and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Kwangkeun Yi},
title = {Cryptographically-Masked Flows},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {353--369},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_23},
doi = {10.1007/11823230\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/AskarovHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HedinS05,
author = {Daniel Hedin and
David Sands},
editor = {Fausto Spoto},
title = {Timing Aware Information Flow Security for a JavaCard-like Bytecode},
booktitle = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {1},
pages = {163--182},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.02.031},
doi = {10.1016/J.ENTCS.2005.02.031},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HedinS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-08-02 20:18 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:
