Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDBibTeX records: Guillaume Hiet
@article{DBLP:journals/fac/LetanRCH21,
author = {Thomas Letan and
Yann R{\'{e}}gis{-}Gianas and
Pierre Chifflier and
Guillaume Hiet},
title = {Modular verification of programs with effects and effects handlers},
journal = {Formal Aspects Comput.},
volume = {33},
number = {1},
pages = {127--150},
year = {2021},
url = {https://doi.org/10.1007/s00165-020-00523-2},
doi = {10.1007/s00165-020-00523-2},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/LetanRCH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/HietTL20,
author = {Guillaume Hiet and
Fr{\'{e}}d{\'{e}}ric Tronel and
Jean{-}Louis Lanet},
title = {Preface of the 2\({}^{\mbox{nd}}\) Workshop on the Security of Software/Hardware
Interfaces {(SILM} 2020)},
booktitle = {{IEEE} European Symposium on Security and Privacy Workshops, EuroS{\&}P
Workshops 2020, Genoa, Italy, September 7-11, 2020},
pages = {681},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EuroSPW51379.2020.00097},
doi = {10.1109/EuroSPW51379.2020.00097},
timestamp = {Thu, 29 Oct 2020 11:34:40 +0100},
biburl = {https://dblp.org/rec/conf/eurosp/HietTL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/ChevalierPDH19,
author = {Ronny Chevalier and
David Plaquin and
Chris I. Dalton and
Guillaume Hiet},
editor = {David Balenson},
title = {Survivor: a fine-grained intrusion response and recovery approach
for commodity operating systems},
booktitle = {Proceedings of the 35th Annual Computer Security Applications Conference,
{ACSAC} 2019, San Juan, PR, USA, December 09-13, 2019},
pages = {762--775},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359789.3359792},
doi = {10.1145/3359789.3359792},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/ChevalierPDH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/LalandeTGHMCB19,
author = {Jean{-}Fran{\c{c}}ois Lalande and
Val{\'{e}}rie Viet Triem Tong and
Pierre Graux and
Guillaume Hiet and
Wojciech Mazurczyk and
Habiba Chaoui and
Pascal Berthom{\'{e}}},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {Teaching Android Mobile Security},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {232--238},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3287406},
doi = {10.1145/3287324.3287406},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/LalandeTGHMCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-06863,
author = {Ronny Chevalier and
David Plaquin and
Chris I. Dalton and
Guillaume Hiet},
title = {Survivor: {A} Fine-Grained Intrusion Response and Recovery Approach
for Commodity Operating Systems},
journal = {CoRR},
volume = {abs/1912.06863},
year = {2019},
url = {http://arxiv.org/abs/1912.06863},
archivePrefix = {arXiv},
eprint = {1912.06863},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-06863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asianhost/WahabCAHLGB18,
author = {Muhammad Abdul Wahab and
Pascal Cotret and
Mounir Nasr Allah and
Guillaume Hiet and
Vianney Lapotre and
Guy Gogniat and
Arnab Kumar Biswas},
title = {A novel lightweight hardware-assisted static instrumentation approach
for {ARM} SoC using debug components},
booktitle = {Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2018,
Hong Kong, China, December 17-18, 2018},
pages = {92--97},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/AsianHOST.2018.8607177},
doi = {10.1109/AsianHOST.2018.8607177},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asianhost/WahabCAHLGB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LetanRCH18,
author = {Thomas Letan and
Yann R{\'{e}}gis{-}Gianas and
Pierre Chifflier and
Guillaume Hiet},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Modular Verification of Programs with Effects and Effect Handlers
in Coq},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {338--354},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_20},
doi = {10.1007/978-3-319-95582-7\_20},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/LetanRCH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reconfig/WahabCAHBLG18,
author = {Muhammad Abdul Wahab and
Pascal Cotret and
Mounir Nasr Allah and
Guillaume Hiet and
Arnab Kumar Biswas and
Vianney Lapotre and
Guy Gogniat},
editor = {David Andrews and
Ren{\'{e}} Cumplido and
Claudia Feregrino and
Dirk Stroobandt},
title = {A small and adaptive coprocessor for information flow tracking in
{ARM} SoCs},
booktitle = {2018 International Conference on ReConFigurable Computing and FPGAs,
ReConFig 2018, Cancun, Mexico, December 3-5, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/RECONFIG.2018.8641695},
doi = {10.1109/RECONFIG.2018.8641695},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/reconfig/WahabCAHBLG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-02700,
author = {Ronny Chevalier and
Maugan Villatel and
David Plaquin and
Guillaume Hiet},
title = {Co-processor-based Behavior Monitoring: Application to the Detection
of Attacks Against the System Management Mode},
journal = {CoRR},
volume = {abs/1803.02700},
year = {2018},
url = {http://arxiv.org/abs/1803.02700},
archivePrefix = {arXiv},
eprint = {1803.02700},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-02700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-05465,
author = {Muhammad Abdul Wahab and
Pascal Cotret and
Mounir Nasr Allah and
Guillaume Hiet and
Vianney Lapotre and
Guy Gogniat},
title = {Towards a hardware-assisted information flow tracking ecosystem for
{ARM} processors},
journal = {CoRR},
volume = {abs/1811.05465},
year = {2018},
url = {http://arxiv.org/abs/1811.05465},
archivePrefix = {arXiv},
eprint = {1811.05465},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-05465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01541,
author = {Muhammad Abdul Wahab and
Pascal Cotret and
Mounir Nasr Allah and
Guillaume Hiet and
Arnab Kumar Biswas and
Vianney Lap{\^{o}}tre and
Guy Gogniat},
title = {A small and adaptive coprocessor for information flow tracking in
{ARM} SoCs},
journal = {CoRR},
volume = {abs/1812.01541},
year = {2018},
url = {http://arxiv.org/abs/1812.01541},
archivePrefix = {arXiv},
eprint = {1812.01541},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-01541.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01667,
author = {Muhammad Abdul Wahab and
Pascal Cotret and
Mounir Nasr Allah and
Guillaume Hiet and
Arnab Kumar Biswas and
Vianney Lap{\^{o}}tre and
Guy Gogniat},
title = {A novel lightweight hardware-assisted static instrumentation approach
for {ARM} SoC using debug components},
journal = {CoRR},
volume = {abs/1812.01667},
year = {2018},
url = {http://arxiv.org/abs/1812.01667},
archivePrefix = {arXiv},
eprint = {1812.01667},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-01667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/ChevalierVPH17,
author = {Ronny Chevalier and
Maugan Villatel and
David Plaquin and
Guillaume Hiet},
title = {Co-processor-based Behavior Monitoring: Application to the Detection
of Attacks Against the System Management Mode},
booktitle = {Proceedings of the 33rd Annual Computer Security Applications Conference,
Orlando, FL, USA, December 4-8, 2017},
pages = {399--411},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3134600.3134622},
doi = {10.1145/3134600.3134622},
timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
biburl = {https://dblp.org/rec/conf/acsac/ChevalierVPH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/WahabCAHLG17,
author = {Muhammad Abdul Wahab and
Pascal Cotret and
Mounir Nasr Allah and
Guillaume Hiet and
Vianney Lapotre and
Guy Gogniat},
editor = {Marco D. Santambrogio and
Diana G{\"{o}}hringer and
Dirk Stroobandt and
Nele Mentens and
Jari Nurmi},
title = {ARMHEx: {A} hardware extension for {DIFT} on ARM-based SoCs},
booktitle = {27th International Conference on Field Programmable Logic and Applications,
{FPL} 2017, Ghent, Belgium, September 4-8, 2017},
pages = {1--7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FPL.2017.8056767},
doi = {10.23919/FPL.2017.8056767},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/fpl/WahabCAHLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/WahabCAHLG17a,
author = {Muhammad Abdul Wahab and
Pascal Cotret and
Mounir Nasr Allah and
Guillaume Hiet and
Vianney Lapotre and
Guy Gogniat},
editor = {Marco D. Santambrogio and
Diana G{\"{o}}hringer and
Dirk Stroobandt and
Nele Mentens and
Jari Nurmi},
title = {ARMHEx: {A} framework for efficient {DIFT} in real-world SoCs},
booktitle = {27th International Conference on Field Programmable Logic and Applications,
{FPL} 2017, Ghent, Belgium, September 4-8, 2017},
pages = {1},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FPL.2017.8056799},
doi = {10.23919/FPL.2017.8056799},
timestamp = {Wed, 11 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpl/WahabCAHLG17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LetanCHNM16,
author = {Thomas Letan and
Pierre Chifflier and
Guillaume Hiet and
Pierre N{\'{e}}ron and
Benjamin Morin},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {SpecCert: Specifying and Verifying Hardware-Based Security Enforcement},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {496--512},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_30},
doi = {10.1007/978-3-319-48989-6\_30},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/LetanCHNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/WahabCAHLG16,
author = {Muhammad Abdul Wahab and
Pascal Cotret and
Mounir Nasr Allah and
Guillaume Hiet and
Vianney Lapotre and
Guy Gogniat},
editor = {Paolo Ienne and
Walid A. Najjar and
Jason Helge Anderson and
Philip Brisk and
Walter Stechele},
title = {Towards a hardware-assisted information flow tracking ecosystem for
{ARM} processors},
booktitle = {26th International Conference on Field Programmable Logic and Applications,
{FPL} 2016, Lausanne, Switzerland, August 29 - September 2, 2016},
pages = {1--2},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FPL.2016.7577396},
doi = {10.1109/FPL.2016.7577396},
timestamp = {Fri, 17 Jan 2020 17:11:15 +0100},
biburl = {https://dblp.org/rec/conf/fpl/WahabCAHLG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/SubramanianHB16,
author = {Deepak Subramanian and
Guillaume Hiet and
Christophe Bidan},
editor = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Lingyu Wang and
Nora Cuppens{-}Boulahia and
Nadia Tawbi and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {A Self-correcting Information Flow Control Model for the Web-Browser},
booktitle = {Foundations and Practice of Security - 9th International Symposium,
{FPS} 2016, Qu{\'{e}}bec City, QC, Canada, October 24-25, 2016,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10128},
pages = {285--301},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-51966-1\_19},
doi = {10.1007/978-3-319-51966-1\_19},
timestamp = {Fri, 27 Dec 2019 21:23:06 +0100},
biburl = {https://dblp.org/rec/conf/fps/SubramanianHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/KouchamMHTM16,
author = {Oualid Koucham and
St{\'{e}}phane Mocanu and
Guillaume Hiet and
Jean{-}Marc Thiriet and
Fr{\'{e}}d{\'{e}}ric Majorczyk},
editor = {Billy Bob Brumley and
Juha R{\"{o}}ning},
title = {Detecting Process-Aware Attacks in Sequential Control Systems},
booktitle = {Secure {IT} Systems - 21st Nordic Conference, NordSec 2016, Oulu,
Finland, November 2-4, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10014},
pages = {20--36},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47560-8\_2},
doi = {10.1007/978-3-319-47560-8\_2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/KouchamMHTM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/SubramanianHB16,
author = {Deepak Subramanian and
Guillaume Hiet and
Christophe Bidan},
title = {Preventive information flow control through a mechanism of split addresses},
booktitle = {Proceedings of the 9th International Conference on Security of Information
and Networks, Newark, NJ, USA, July 20-22, 2016},
pages = {1--8},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2947626.2947645},
doi = {10.1145/2947626.2947645},
timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
biburl = {https://dblp.org/rec/conf/sin/SubramanianHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BossertGH14,
author = {Georges Bossert and
Fr{\'{e}}d{\'{e}}ric Guih{\'{e}}ry and
Guillaume Hiet},
editor = {Shiho Moriai and
Trent Jaeger and
Kouichi Sakurai},
title = {Towards automated protocol reverse engineering using semantic information},
booktitle = {9th {ACM} Symposium on Information, Computer and Communications Security,
{ASIA} {CCS} '14, Kyoto, Japan - June 03 - 06, 2014},
pages = {51--62},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2590296.2590346},
doi = {10.1145/2590296.2590346},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BossertGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/JaumeTH12,
author = {Mathieu Jaume and
Val{\'{e}}rie Viet Triem Tong and
Guillaume Hiet},
title = {Sp{\'{e}}cification et m{\'{e}}canisme de d{\'{e}}tection
de flots d'information ill{\'{e}}gaux},
journal = {Tech. Sci. Informatiques},
volume = {31},
number = {6},
pages = {713--742},
year = {2012},
url = {https://doi.org/10.3166/tsi.31.713-742},
doi = {10.3166/tsi.31.713-742},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/JaumeTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimva/AnceaumeBGHHMPP11,
author = {Emmanuelle Anceaume and
Christophe Bidan and
S{\'{e}}bastien Gambs and
Guillaume Hiet and
Michel Hurfin and
Ludovic M{\'{e}} and
Guillaume Piolle and
Nicolas Prigent and
Eric Totel and
Frederic Tronel and
Val{\'{e}}rie Viet Triem Tong},
title = {From {SSIR} to CIDre: {A} New Security Research Group in Rennes, France},
booktitle = {First SysSec Workshop 2011, SysSec@DIMVA 2011, Amsterdam, The Netherlands,
July 6, 2011},
pages = {86--89},
publisher = {{IEEE}},
year = {2011},
url = {http://doi.ieeecomputersociety.org/10.1109/SysSec.2011.12},
doi = {10.1109/SysSec.2011.12},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/dimva/AnceaumeBGHHMPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijics/HietTMM09,
author = {Guillaume Hiet and
Val{\'{e}}rie Viet Triem Tong and
Ludovic M{\'{e}} and
Benjamin Morin},
title = {Policy-based intrusion detection in web applications by monitoring
Java information flows},
journal = {Int. J. Inf. Comput. Secur.},
volume = {3},
number = {3/4},
pages = {265--279},
year = {2009},
url = {https://doi.org/10.1504/IJICS.2009.031040},
doi = {10.1504/IJICS.2009.031040},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijics/HietTMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Hiet08,
author = {Guillaume Hiet},
title = {D{\'{e}}tection d'intrusions param{\'{e}}tr{\'{e}}e
par la politique de s{\'{e}}curit{\'{e}} gr{\^{a}}ce au
contr{\^{o}}le collaboratif des flux d'informations au sein du syst{\`{e}}me
d'exploitation et des applications : mise en {\oe}uvre sous Linux
pour les programmes Java},
school = {University of Rennes 1, France},
year = {2008},
url = {https://tel.archives-ouvertes.fr/tel-00355089},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Hiet08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/HietTMM08,
author = {Guillaume Hiet and
Val{\'{e}}rie Viet Triem Tong and
Ludovic M{\'{e}} and
Benjamin Morin},
editor = {Mohamed Jmaiel and
Mohamed Mosbah},
title = {Policy-based intrusion detection in Web applications by monitoring
Java information flows},
booktitle = {CRiSIS '08, Third International Conference on Risks and Security of
Internet and Systems, Tozeur, Tunisia, October 28-30, 2008},
pages = {53--60},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CRISIS.2008.4757463},
doi = {10.1109/CRISIS.2008.4757463},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/crisis/HietTMM08.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 2021-07-27 00:17 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
