BibTeX records: Guillaume Hiet

download as .bib file

@inproceedings{DBLP:conf/acsac/ChevalierPDH19,
  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},
  booktitle = {Proceedings of the 35th Annual Computer Security Applications Conference,
               {ACSAC} 2019, San Juan, PR, USA, December 09-13, 2019},
  pages     = {762--775},
  year      = {2019},
  crossref  = {DBLP:conf/acsac/2019},
  url       = {https://doi.org/10.1145/3359789.3359792},
  doi       = {10.1145/3359789.3359792},
  timestamp = {Tue, 26 Nov 2019 09:46:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/ChevalierPDH19},
  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}}},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/sigcse/2019},
  url       = {https://doi.org/10.1145/3287324.3287406},
  doi       = {10.1145/3287324.3287406},
  timestamp = {Mon, 04 Mar 2019 15:45:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/LalandeTGHMCB19},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/asianhost/2018},
  url       = {https://doi.org/10.1109/AsianHOST.2018.8607177},
  doi       = {10.1109/AsianHOST.2018.8607177},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asianhost/WahabCAHLGB18},
  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},
  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},
  pages     = {338--354},
  year      = {2018},
  crossref  = {DBLP:conf/fm/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/bib/conf/fm/LetanRCH18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/reconfig/2018},
  url       = {https://doi.org/10.1109/RECONFIG.2018.8641695},
  doi       = {10.1109/RECONFIG.2018.8641695},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/reconfig/WahabCAHBLG18},
  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/bib/journals/corr/abs-1803-02700},
  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/bib/journals/corr/abs-1811-05465},
  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/bib/journals/corr/abs-1812-01541},
  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/bib/journals/corr/abs-1812-01667},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/acsac/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/bib/conf/acsac/ChevalierVPH17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/fpl/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/bib/conf/fpl/WahabCAHLG17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/fpl/2017},
  url       = {https://doi.org/10.23919/FPL.2017.8056799},
  doi       = {10.23919/FPL.2017.8056799},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/WahabCAHLG17a},
  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},
  title     = {SpecCert: Specifying and Verifying Hardware-Based Security Enforcement},
  booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  pages     = {496--512},
  year      = {2016},
  crossref  = {DBLP:conf/fm/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/bib/conf/fm/LetanCHNM16},
  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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/fpl/2016},
  url       = {https://doi.org/10.1109/FPL.2016.7577396},
  doi       = {10.1109/FPL.2016.7577396},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/WahabCAHLG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/SubramanianHB16,
  author    = {Deepak Subramanian and
               Guillaume Hiet and
               Christophe Bidan},
  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},
  pages     = {285--301},
  year      = {2016},
  crossref  = {DBLP:conf/fps/2016},
  url       = {https://doi.org/10.1007/978-3-319-51966-1\_19},
  doi       = {10.1007/978-3-319-51966-1\_19},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fps/SubramanianHB16},
  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},
  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},
  pages     = {20--36},
  year      = {2016},
  crossref  = {DBLP:conf/nordsec/2016},
  url       = {https://doi.org/10.1007/978-3-319-47560-8\_2},
  doi       = {10.1007/978-3-319-47560-8\_2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nordsec/KouchamMHTM16},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/sin/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/bib/conf/sin/SubramanianHB16},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/ccs/2014asia},
  url       = {https://doi.org/10.1145/2590296.2590346},
  doi       = {10.1145/2590296.2590346},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/BossertGH14},
  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   = {Technique et Science 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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tsi/JaumeTH12},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/dimva/2011syssec},
  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/bib/conf/dimva/AnceaumeBGHHMPP11},
  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   = {{IJICS}},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijics/HietTMM09},
  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 = {Fri, 15 Jul 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Hiet08},
  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},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/crisis/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/bib/conf/crisis/HietTMM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsac/2019,
  editor    = {David Balenson},
  title     = {Proceedings of the 35th Annual Computer Security Applications Conference,
               {ACSAC} 2019, San Juan, PR, USA, December 09-13, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3359789},
  doi       = {10.1145/3359789},
  isbn      = {978-1-4503-7628-0},
  timestamp = {Tue, 26 Nov 2019 09:46:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2019,
  editor    = {Elizabeth K. Hawthorne and
               Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
               Sarah Heckman and
               Jian Zhang},
  title     = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
               Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
               02, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3287324},
  doi       = {10.1145/3287324},
  isbn      = {978-1-4503-5890-3},
  timestamp = {Mon, 04 Mar 2019 15:45:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asianhost/2018,
  title     = {Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2018,
               Hong Kong, China, December 17-18, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8596738/proceeding},
  isbn      = {978-1-5386-7471-0},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asianhost/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2018,
  editor    = {Klaus Havelund and
               Jan Peleska and
               Bill Roscoe and
               Erik P. de Vink},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-95582-7},
  doi       = {10.1007/978-3-319-95582-7},
  isbn      = {978-3-319-95581-0},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/reconfig/2018,
  editor    = {David Andrews and
               Ren{\'{e}} Cumplido and
               Claudia Feregrino and
               Dirk Stroobandt},
  title     = {2018 International Conference on ReConFigurable Computing and FPGAs,
               ReConFig 2018, Cancun, Mexico, December 3-5, 2018},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8637084/proceeding},
  isbn      = {978-1-7281-1968-7},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/reconfig/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsac/2017,
  title     = {Proceedings of the 33rd Annual Computer Security Applications Conference,
               Orlando, FL, USA, December 4-8, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3134600},
  doi       = {10.1145/3134600},
  isbn      = {978-1-4503-5345-8},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpl/2017,
  editor    = {Marco D. Santambrogio and
               Diana G{\"{o}}hringer and
               Dirk Stroobandt and
               Nele Mentens and
               Jari Nurmi},
  title     = {27th International Conference on Field Programmable Logic and Applications,
               {FPL} 2017, Ghent, Belgium, September 4-8, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8049195/proceeding},
  isbn      = {978-9-0903-0428-1},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2016,
  editor    = {John S. Fitzgerald and
               Constance L. Heitmeyer and
               Stefania Gnesi and
               Anna Philippou},
  title     = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9995},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6},
  doi       = {10.1007/978-3-319-48989-6},
  isbn      = {978-3-319-48988-9},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpl/2016,
  editor    = {Paolo Ienne and
               Walid A. Najjar and
               Jason Anderson and
               Philip Brisk and
               Walter Stechele},
  title     = {26th International Conference on Field Programmable Logic and Applications,
               {FPL} 2016, Lausanne, Switzerland, August 29 - September 2, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7573873/proceeding},
  isbn      = {978-2-8399-1844-2},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fps/2016,
  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     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-51966-1},
  doi       = {10.1007/978-3-319-51966-1},
  isbn      = {978-3-319-51965-4},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fps/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nordsec/2016,
  editor    = {Billy Bob Brumley and
               Juha R{\"{o}}ning},
  title     = {Secure {IT} Systems - 21st Nordic Conference, NordSec 2016, Oulu,
               Finland, November 2-4, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10014},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47560-8},
  doi       = {10.1007/978-3-319-47560-8},
  isbn      = {978-3-319-47559-2},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nordsec/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sin/2016,
  title     = {Proceedings of the 9th International Conference on Security of Information
               and Networks, Newark, NJ, USA, July 20-22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2947626},
  doi       = {10.1145/2947626},
  isbn      = {978-1-4503-4764-8},
  timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sin/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2014asia,
  editor    = {Shiho Moriai and
               Trent Jaeger and
               Kouichi Sakurai},
  title     = {9th {ACM} Symposium on Information, Computer and Communications Security,
               {ASIA} {CCS} '14, Kyoto, Japan - June 03 - 06, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2590296},
  isbn      = {978-1-4503-2800-5},
  timestamp = {Tue, 21 Nov 2017 18:32:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2014asia},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimva/2011syssec,
  title     = {First SysSec Workshop 2011, SysSec@DIMVA 2011, Amsterdam, The Netherlands,
               July 6, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6088937/proceeding},
  isbn      = {978-1-4577-1528-0},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dimva/2011syssec},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/crisis/2008,
  editor    = {Mohamed Jmaiel and
               Mohamed Mosbah},
  title     = {CRiSIS '08, Third International Conference on Risks and Security of
               Internet and Systems, Tozeur, Tunisia, October 28-30, 2008},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4733895/proceeding},
  isbn      = {978-1-4244-3309-4},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/crisis/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics