Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Frédéric Besson"
download as .bib file
@inproceedings{DBLP:conf/cpp/ChavanonBN24,
author = {Cl{\'{e}}ment Chavanon and
Fr{\'{e}}d{\'{e}}ric Besson and
Tristan Ninet},
editor = {Amin Timany and
Dmitriy Traytel and
Brigitte Pientka and
Sandrine Blazy},
title = {PfComp: {A} Verified Compiler for Packet Filtering Leveraging Binary
Decision Diagrams},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2024, London, UK, January 15-16,
2024},
pages = {89--102},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636501.3636954},
doi = {10.1145/3636501.3636954},
timestamp = {Thu, 11 Jan 2024 17:17:09 +0100},
biburl = {https://dblp.org/rec/conf/cpp/ChavanonBN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/BessonBOTLMST23,
author = {Pierre{-}Victor Besson and
Romain Brisse and
Helene Orsini and
Natan Talon and
Jean{-}Fran{\c{c}}ois Lalande and
Fr{\'{e}}d{\'{e}}ric Majorczyk and
Alexandre Sanchez and
Val{\'{e}}rie Viet Triem Tong},
editor = {Jingrui He and
Themis Palpanas and
Xiaohua Hu and
Alfredo Cuzzocrea and
Dejing Dou and
Dominik Slezak and
Wei Wang and
Aleksandra Gruca and
Jerry Chun{-}Wei Lin and
Rakesh Agrawal},
title = {{CERBERE:} Cybersecurity Exercise for Red and Blue team Entertainment,
REproducibility},
booktitle = {{IEEE} International Conference on Big Data, BigData 2023, Sorrento,
Italy, December 15-18, 2023},
pages = {2980--2988},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/BigData59044.2023.10386953},
doi = {10.1109/BIGDATA59044.2023.10386953},
timestamp = {Fri, 02 Feb 2024 12:00:39 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/BessonBOTLMST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/GaudinHBCGHLW23,
author = {Nicolas Gaudin and
Jean{-}Loup Hatchikian{-}Houdot and
Fr{\'{e}}d{\'{e}}ric Besson and
Pascal Cotret and
Guy Gogniat and
Guillaume Hiet and
Vianney Lapotre and
Pierre Wilke},
title = {Work in Progress: Thwarting Timing Attacks in Microcontrollers using
Fine-grained Hardware Protections},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2023 - Workshops, Delft, Netherlands, July 3-7, 2023},
pages = {304--310},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/EuroSPW59978.2023.00038},
doi = {10.1109/EUROSPW59978.2023.00038},
timestamp = {Mon, 07 Aug 2023 15:56:24 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/GaudinHBCGHLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/RaimondiBJ23,
author = {Gautier Raimondi and
Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen},
editor = {Santiago Escobar and
Vasco T. Vasconcelos},
title = {Type-directed Program Transformation for Constant-Time Enforcement},
booktitle = {International Symposium on Principles and Practice of Declarative
Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023},
pages = {6:1--6:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610612.3610618},
doi = {10.1145/3610612.3610618},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/RaimondiBJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YuanLBT23,
author = {Shenghao Yuan and
Benjamin Lion and
Fr{\'{e}}d{\'{e}}ric Besson and
Jean{-}Pierre Talpin},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Making an eBPF Virtual Machine Faster on Microcontrollers: Verified
Optimization and Proof Simplification},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {385--401},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_22},
doi = {10.1007/978-981-99-8664-4\_22},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YuanLBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YuanBTHZB22,
author = {Shenghao Yuan and
Fr{\'{e}}d{\'{e}}ric Besson and
Jean{-}Pierre Talpin and
Samuel Hym and
Koen Zandberg and
Emmanuel Baccelli},
editor = {Sharon Shoham and
Yakir Vizel},
title = {End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {293--316},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_15},
doi = {10.1007/978-3-031-13188-2\_15},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/YuanBTHZB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/ZandbergBYBT22,
author = {Koen Zandberg and
Emmanuel Baccelli and
Shenghao Yuan and
Fr{\'{e}}d{\'{e}}ric Besson and
Jean{-}Pierre Talpin},
editor = {Paolo Bellavista and
Kaiwen Zhang and
Abdelouahed Gherbi and
Saurabh Bagchi and
Marta Pati{\~{n}}o and
Giuseppe Di Modica and
Julien Gascon{-}Samson},
title = {Femto-containers: lightweight virtualization and fault isolation for
small software functions on low-power IoT microcontrollers},
booktitle = {Middleware '22: 23rd International Middleware Conference, Quebec,
QC, Canada, November 7 - 11, 2022},
pages = {161--173},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3528535.3565242},
doi = {10.1145/3528535.3565242},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/ZandbergBYBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/VeraLBBF22,
author = {Cristina Rodriguez Vera and
Lan Lin and
Fr{\'{e}}d{\'{e}}ric Bernaudin and
Benoit Besson and
Jun Fu},
title = {Rail Lone Worker Safety Solution with Deep Learning},
booktitle = {2022 {IEEE} International Conference on Pervasive Computing and Communications
Workshops and other Affiliated Events, PerCom 2022 Workshops, Pisa,
Italy, March 21-25, 2022},
pages = {781--786},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PerComWorkshops53856.2022.9767482},
doi = {10.1109/PERCOMWORKSHOPS53856.2022.9767482},
timestamp = {Wed, 11 May 2022 09:14:32 +0200},
biburl = {https://dblp.org/rec/conf/percom/VeraLBBF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-03432,
author = {Koen Zandberg and
Emmanuel Baccelli and
Shenghao Yuan and
Fr{\'{e}}d{\'{e}}ric Besson and
Jean{-}Pierre Talpin},
title = {Femto-Containers: Lightweight Virtualization and Fault Isolation For
Small Software Functions on Low-Power IoT Microcontrollers},
journal = {CoRR},
volume = {abs/2210.03432},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.03432},
doi = {10.48550/ARXIV.2210.03432},
eprinttype = {arXiv},
eprint = {2210.03432},
timestamp = {Wed, 12 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-03432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Besson21,
author = {Fr{\'{e}}d{\'{e}}ric Besson},
editor = {Liron Cohen and
Cezary Kaliszyk},
title = {Itauto: An Extensible Intuitionistic {SAT} Solver},
booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
series = {LIPIcs},
volume = {193},
pages = {9:1--9:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.9},
doi = {10.4230/LIPICS.ITP.2021.9},
timestamp = {Mon, 21 Jun 2021 14:45:49 +0200},
biburl = {https://dblp.org/rec/conf/itp/Besson21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BessonBW19,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
title = {A Verified CompCert Front-End for a Memory Model Supporting Pointer
Arithmetic and Uninitialised Data},
journal = {J. Autom. Reason.},
volume = {62},
number = {4},
pages = {433--480},
year = {2019},
url = {https://doi.org/10.1007/s10817-017-9439-z},
doi = {10.1007/S10817-017-9439-Z},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BessonBW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BessonBW19a,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
title = {CompCertS: {A} Memory-Aware Verified {C} Compiler Using a Pointer
as Integer Semantics},
journal = {J. Autom. Reason.},
volume = {63},
number = {2},
pages = {369--392},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9496-y},
doi = {10.1007/S10817-018-9496-Y},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BessonBW19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BessonDJ19,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Alexandre Dang and
Thomas P. Jensen},
title = {Information-Flow Preservation in Compiler Optimisations},
booktitle = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken,
NJ, USA, June 25-28, 2019},
pages = {230--242},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CSF.2019.00023},
doi = {10.1109/CSF.2019.00023},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BessonDJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BessonBDJW19,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Alexandre Dang and
Thomas P. Jensen and
Pierre Wilke},
editor = {Lu{\'{\i}}s Caires},
title = {Compiling Sandboxes: Formally Verified Software Fault Isolation},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 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 = {11423},
pages = {499--524},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_18},
doi = {10.1007/978-3-030-17184-1\_18},
timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
biburl = {https://dblp.org/rec/conf/esop/BessonBDJW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BessonDJ18,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Alexandre Dang and
Thomas P. Jensen},
editor = {M{\'{a}}rio S. Alvim and
St{\'{e}}phanie Delaune},
title = {Securing Compilation Against Memory Probing},
booktitle = {Proceedings of the 13th Workshop on Programming Languages and Analysis
for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018},
pages = {29--40},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3264820.3264822},
doi = {10.1145/3264820.3264822},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BessonDJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BessonJL18,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
Julien Lepiller},
editor = {Andreas Podelski},
title = {Modular Software Fault Isolation as Abstract Interpretation},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {166--186},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_12},
doi = {10.1007/978-3-319-99725-4\_12},
timestamp = {Mon, 28 Aug 2023 21:17:53 +0200},
biburl = {https://dblp.org/rec/conf/sas/BessonJL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigpro/VincentPB17,
author = {Fran{\c{c}}ois Vincent and
Fr{\'{e}}d{\'{e}}ric Pascal and
Olivier Besson},
title = {A bias-compensated {MUSIC} for small number of samples},
journal = {Signal Process.},
volume = {138},
pages = {117--120},
year = {2017},
url = {https://doi.org/10.1016/j.sigpro.2017.03.015},
doi = {10.1016/J.SIGPRO.2017.03.015},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigpro/VincentPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BessonBW17,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {CompCertS: {A} Memory-Aware Verified {C} Compiler Using Pointer as
Integer Semantics},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {81--97},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_6},
doi = {10.1007/978-3-319-66107-0\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BessonBW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BessonBJ16,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Nataliia Bielova and
Thomas P. Jensen},
title = {Hybrid Monitoring of Attacker Knowledge},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
Portugal, June 27 - July 1, 2016},
pages = {225--238},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CSF.2016.23},
doi = {10.1109/CSF.2016.23},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BessonBJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BielovaBJ16,
author = {Nataliia Bielova and
Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen},
title = {Using JavaScript Monitoring to Prevent Device Fingerprinting},
journal = {{ERCIM} News},
volume = {2016},
number = {106},
year = {2016},
url = {http://ercim-news.ercim.eu/en106/special/using-javascript-monitoring-to-prevent-device-fingerprinting},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BielovaBJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BessonBW15,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
editor = {Christian Urban and
Xingyuan Zhang},
title = {A Concrete Memory Model for CompCert},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {67--83},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_5},
doi = {10.1007/978-3-319-22102-1\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BessonBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BessonBW14,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Sandrine Blazy and
Pierre Wilke},
editor = {Jacques Garrigue},
title = {A Precise and Abstract Memory Model for {C} Using Symbolic Values},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {449--468},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_24},
doi = {10.1007/978-3-319-12736-1\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BessonBW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/BessonBJ14,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Nataliia Bielova and
Thomas P. Jensen},
editor = {Karin Bernsmed and
Simone Fischer{-}H{\"{u}}bner},
title = {Browser Randomisation against Fingerprinting: {A} Quantitative Information
Flow Approach},
booktitle = {Secure {IT} Systems - 19th Nordic Conference, NordSec 2014, Troms{\o},
Norway, October 15-17, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8788},
pages = {181--196},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11599-3\_11},
doi = {10.1007/978-3-319-11599-3\_11},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/BessonBJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BessonJV14,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
Pierre Vittet},
editor = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {SawjaCard: {A} Static Analysis Tool for Certifying Java Card Applications},
booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
Germany, September 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8723},
pages = {51--67},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10936-7\_4},
doi = {10.1007/978-3-319-10936-7\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BessonJV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BessonBJ13,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Nataliia Bielova and
Thomas P. Jensen},
title = {Hybrid Information Flow Monitoring against Web Tracking},
booktitle = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans,
LA, USA, June 26-28, 2013},
pages = {240--254},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSF.2013.23},
doi = {10.1109/CSF.2013.23},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BessonBJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BessonCJ13,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Pierre{-}Emmanuel Cornilleau and
Thomas P. Jensen},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Result Certification of Static Program Analysers with Automated Theorem
Provers},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {304--325},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_16},
doi = {10.1007/978-3-642-54108-7\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/BessonCJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/BessonCS12,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Pierre{-}Emmanuel Cornilleau and
Ronan Saillard},
editor = {David Pichardie and
Tjark Weber},
title = {Walking through the Forest: Fast {EUF} Proof-Checking Algorithms},
booktitle = {Proceedings of the Second International Workshop on Proof Exchange
for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {878},
pages = {58--64},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-878/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/BessonCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BessonCP11,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Pierre{-}Emmanuel Cornilleau and
David Pichardie},
editor = {Jean{-}Pierre Jouannaud and
Zhong Shao},
title = {Modular {SMT} Proofs for Fast Reflexive Checking Inside Coq},
booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7086},
pages = {151--166},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25379-9\_13},
doi = {10.1007/978-3-642-25379-9\_13},
timestamp = {Thu, 14 Oct 2021 10:14:33 +0200},
biburl = {https://dblp.org/rec/conf/cpp/BessonCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/BessonCP11,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Pierre{-}Emmanuel Cornilleau and
David Pichardie},
editor = {Pascal Fontaine and
Aaron Stump},
title = {A Nelson-Oppen based Proof System using Theory Specific Proof Systems},
booktitle = {PxTP 2011: First International Workshop on Proof eXchange for Theorem
Proving, Wroc{\l}aw, Poland, August 1, 2011},
pages = {1--14},
year = {2011},
url = {https://pxtp2011.loria.fr/PxTP2011.pdf\#page=5},
timestamp = {Thu, 25 Nov 2021 17:51:05 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/BessonCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pxtp/BessonFT11,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Pascal Fontaine and
Laurent Th{\'{e}}ry},
editor = {Pascal Fontaine and
Aaron Stump},
title = {A Flexible Proof Format for {SMT:} a Proposal},
booktitle = {PxTP 2011: First International Workshop on Proof eXchange for Theorem
Proving, Wroc{\l}aw, Poland, August 1, 2011},
pages = {15--26},
year = {2011},
url = {https://pxtp2011.loria.fr/PxTP2011.pdf\#page=19},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pxtp/BessonFT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BoyerBBIPRGJ10,
author = {Fr{\'{e}}d{\'{e}}ric Boyer and
Bruno Besson and
Guillaume Baptist and
J{\'{e}}r{\^{o}}me Izard and
Corinne Pinel and
Delphine Ropers and
Johannes Geiselmann and
Hidde de Jong},
title = {WellReader: a {MATLAB} program for the analysis of fluorescence and
luminescence reporter gene data},
journal = {Bioinform.},
volume = {26},
number = {9},
pages = {1262--1263},
year = {2010},
url = {https://doi.org/10.1093/bioinformatics/btq016},
doi = {10.1093/BIOINFORMATICS/BTQ016},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/BoyerBBIPRGJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BessonDJP10,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Guillaume Dufay and
Thomas P. Jensen and
David Pichardie},
title = {Verifying resource access control on mobile interactive devices},
journal = {J. Comput. Secur.},
volume = {18},
number = {6},
pages = {971--998},
year = {2010},
url = {https://doi.org/10.3233/JCS-2009-0387},
doi = {10.3233/JCS-2009-0387},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BessonDJP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/HubertBBDJMPT10,
author = {Laurent Hubert and
Nicolas Barr{\'{e}} and
Fr{\'{e}}d{\'{e}}ric Besson and
Delphine Demange and
Thomas P. Jensen and
Vincent Monfort and
David Pichardie and
Tiphaine Turpin},
editor = {Bernhard Beckert and
Claude March{\'{e}}},
title = {Sawja: Static Analysis Workshop for Java},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6528},
pages = {92--106},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18070-5\_7},
doi = {10.1007/978-3-642-18070-5\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/HubertBBDJMPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BessonJPT10,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
David Pichardie and
Tiphaine Turpin},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Certified Result Checking for Polyhedral Analysis of Bytecode Programs},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {253--267},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_17},
doi = {10.1007/978-3-642-15640-3\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BessonJPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3353,
author = {Laurent Hubert and
Nicolas Barr{\'{e}} and
Fr{\'{e}}d{\'{e}}ric Besson and
Delphine Demange and
Thomas P. Jensen and
Vincent Monfort and
David Pichardie and
Tiphaine Turpin},
title = {Sawja: Static Analysis Workshop for Java},
journal = {CoRR},
volume = {abs/1007.3353},
year = {2010},
url = {http://arxiv.org/abs/1007.3353},
eprinttype = {arXiv},
eprint = {1007.3353},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Besson09,
author = {Fr{\'{e}}d{\'{e}}ric Besson},
editor = {Anindya Banerjee},
title = {{CPA} beats {\(\infty\)}-CFA},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557905},
doi = {10.1145/1557898.1557905},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Besson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BessonCJP09,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
David Cachera and
Thomas P. Jensen and
David Pichardie},
editor = {Alessandro Aldini and
Gilles Barthe and
Roberto Gorrieri},
title = {Certified Static Analysis by Abstract Interpretation},
booktitle = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5705},
pages = {223--257},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03829-7\_8},
doi = {10.1007/978-3-642-03829-7\_8},
timestamp = {Thu, 14 Oct 2021 10:12:35 +0200},
biburl = {https://dblp.org/rec/conf/fosad/BessonCJP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BessonJT08,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
Tiphaine Turpin},
editor = {Jan Vitek},
title = {Computing Stack Maps with Interfaces},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {642--666},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_27},
doi = {10.1007/978-3-540-70592-5\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BessonJT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BessonJT07,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
Tiphaine Turpin},
editor = {Rocco De Nicola},
title = {Small Witnesses for Abstract Interpretation-Based Proofs},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {268--283},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_19},
doi = {10.1007/978-3-540-71316-6\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BessonJT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BessonJP06,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
David Pichardie},
title = {Proof-carrying code from certified abstract interpretation and fixpoint
compression},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {273--291},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.012},
doi = {10.1016/J.TCS.2006.08.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BessonJP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BessonDJ06,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Guillaume Dufay and
Thomas P. Jensen},
editor = {Dieter Gollmann and
Jan Meier and
Andrei Sabelfeld},
title = {A Formal Model of Access Control for Mobile Interactive Devices},
booktitle = {Computer Security - {ESORICS} 2006, 11th European Symposium on Research
in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4189},
pages = {110--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11863908\_8},
doi = {10.1007/11863908\_8},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/BessonDJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Besson06,
author = {Fr{\'{e}}d{\'{e}}ric Besson},
editor = {Thorsten Altenkirch and
Conor McBride},
title = {Fast Reflexive Arithmetic Tactics the Linear Case and Beyond},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2006,
Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4502},
pages = {48--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74464-1\_4},
doi = {10.1007/978-3-540-74464-1\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/Besson06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BessonLJ05,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas de Grenier de Latour and
Thomas P. Jensen},
title = {Interfaces for stack inspection},
journal = {J. Funct. Program.},
volume = {15},
number = {2},
pages = {179--217},
year = {2005},
url = {https://doi.org/10.1017/S0956796804005465},
doi = {10.1017/S0956796804005465},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BessonLJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BessonBFG04,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Tomasz Blanc and
C{\'{e}}dric Fournet and
Andrew D. Gordon},
title = {From Stack Inspection to Access Control: {A} Security Analysis for
Libraries},
booktitle = {17th {IEEE} Computer Security Foundations Workshop, {(CSFW-17} 2004),
28-30 June 2004, Pacific Grove, CA, {USA}},
pages = {61},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.11},
doi = {10.1109/CSFW.2004.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BessonBFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BessonJ03,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen},
editor = {Radhia Cousot},
title = {Modular Class Analysis with {DATALOG}},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {19--36},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_2},
doi = {10.1007/3-540-44898-5\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BessonJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BessonLJ02,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas de Grenier de Latour and
Thomas P. Jensen},
title = {Secure calling contexts for stack inspection},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {76--87},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571166},
doi = {10.1145/571157.571166},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BessonLJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BessonJM01,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
Daniel Le M{\'{e}}tayer},
title = {Model Checking Security Properties of Control Flow Graphs},
journal = {J. Comput. Secur.},
volume = {9},
number = {3},
pages = {217--250},
year = {2001},
url = {https://doi.org/10.3233/jcs-2001-9303},
doi = {10.3233/JCS-2001-9303},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BessonJM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BessonJT99,
author = {Fr{\'{e}}d{\'{e}}ric Besson and
Thomas P. Jensen and
Jean{-}Pierre Talpin},
editor = {Agostino Cortesi and
Gilberto Fil{\'{e}}},
title = {Polyhedral Analysis for Synchronous Languages},
booktitle = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
September 22-24, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1694},
pages = {51--68},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48294-6\_4},
doi = {10.1007/3-540-48294-6\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BessonJT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigpro/GaltierB98,
author = {Fr{\'{e}}d{\'{e}}ric Galtier and
Olivier Besson},
title = {On-line joint detection of particles' arrival and estimation of speed
in laser anemometry},
journal = {Signal Process.},
volume = {67},
number = {3},
pages = {291--305},
year = {1998},
url = {https://doi.org/10.1016/S0165-1684(98)00046-2},
doi = {10.1016/S0165-1684(98)00046-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigpro/GaltierB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/GaltierB98,
author = {Fr{\'{e}}d{\'{e}}ric Galtier and
Olivier Besson},
title = {On-line detection/estimation scheme in laser Doppler anemometry},
booktitle = {Proceedings of the 1998 {IEEE} International Conference on Acoustics,
Speech and Signal Processing, {ICASSP} '98, Seattle, Washington, USA,
May 12-15, 1998},
pages = {1917--1920},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICASSP.1998.681437},
doi = {10.1109/ICASSP.1998.681437},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icassp/GaltierB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/GaltierB97,
author = {Fr{\'{e}}d{\'{e}}ric Galtier and
Olivier Besson},
title = {Frequency estimation of laser signals with time-varying amplitude
from phase measurements},
booktitle = {1997 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing, {ICASSP} '97, Munich, Germany, April 21-24, 1997},
pages = {4005--4008},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICASSP.1997.604816},
doi = {10.1109/ICASSP.1997.604816},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/GaltierB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/BessonG96,
author = {Olivier Besson and
Fr{\'{e}}d{\'{e}}ric Galtier},
title = {Estimating particles velocity from laser measurements: maximum likelihood
and Cramer-Rao bounds},
journal = {{IEEE} Trans. Signal Process.},
volume = {44},
number = {12},
pages = {3056--3068},
year = {1996},
url = {https://doi.org/10.1109/78.553479},
doi = {10.1109/78.553479},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsp/BessonG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/BessonG96,
author = {Olivier Besson and
Fr{\'{e}}d{\'{e}}ric Galtier},
title = {Approximate maximum likelihood estimation in laser velocimetry},
booktitle = {8th European Signal Processing Conference, {EUSIPCO} 1996, Trieste,
Italy, 10-13 September, 1996},
pages = {1--4},
publisher = {{IEEE}},
year = {1996},
url = {https://ieeexplore.ieee.org/document/7082880/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusipco/BessonG96.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.
retrieved on 2024-06-15 14:02 CEST from data curated 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:
