Research
Research topics
- Verification of timed systems
- Control and synthesis
- Applications to security
- Games Theory
Publications
- with Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din. Polynomial Interrupt Timed Automata: Verification and Expressiveness. Information and Computation, 2018. To appear.BibTeX@article{ic18,
title = {Polynomial Interrupt Timed Automata: Verification and Expressiveness},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Picaronny, Claudine and Safey El Din, Mohab and Sassolas, Mathieu},
journal = {Information and Computation},
year = {2018},
publisher = {Elsevier},
note = {To appear.},
}
- with Béatrice Bérard, Olga Kouchnarenko, John Mullins. Opacity for Linear Constraint Markov Chains. Discrete Event Dynamic Systems 28(1), March 2018. PDFPublisher's pageBibTeX@article{deds18,
title = {Opacity for Linear Constraint Markov Chains},
author = {B{\'e}rard, B{\'e}atrice and Kouchnarenko, Olga and Mullins, John and Sassolas, Mathieu},
journal = {Discrete Event Dynamic Systems},
month = mar,
year = {2018},
volume = {28},
number = {1},
publisher = {Springer},
pages = {83--108},
numpages = {26},
}
- with El Habib Boudjema, Christèle Faure, Lynda Mokdad. Detection of security vulnerabilities in C language applications. Security and Privacy 1(1), February 2018. PDFPublisher's pageBibTeX@article{spy18,
title = {Detection of security vulnerabilities in {C} language applications},
author = {Boudjema, El Habib and Faure, Christ{\`e}le and Sassolas, Mathieu and Mokdad, Lynda},
journal = {Security and Privacy},
month = feb,
year = {2018},
volume = {1},
number = {1},
publisher = {Wiley},
pages = {1--26},
numpages = {26},
}
- with Quentin Monnet, Lynda Mokdad. Modeling DoS Attacks in WSNs with Quantitative Games. IEEE International Conference on Communications, May 21-25th, 2017, Paris, France. PDFPublisher's pageBibTeX@inproceedings{icc17,
title = {Modeling {DoS} Attacks in {WSN}s with Quantitative Games},
author = {Monnet, Quentin and Sassolas, Mathieu and Mokdad, Lynda},
booktitle = {Proceedings of the {IEEE} International Conference on Communications},
month = may,
year = {2017},
editor = {Debbah, M{\'e}roune and Gesbert, David and Mellouk, Abdelhamid},
publisher = {{IEEE}},
pages = {1--6},
numpages = {6},
}
- with Béatrice Bérard, Olga Kouchnarenko, John Mullins. Preserving Opacity on Interval Markov Chains under Simulation. 13th International Workshop on Discrete Event Systems (WODES'16), May 30th-June 1st, 2016, Xi'an, China. PDFPublisher's pageArXiv versionBibTeX@inproceedings{wodes16,
title = {Preserving Opacity on Interval Markov Chains under Simulation},
author = {B{\'e}rard, B{\'e}atrice and Kouchnarenko, Olga and Mullins, John and Sassolas, Mathieu},
booktitle = {Proceedings of the 13th International Workshop on Discrete Event Systems ({WODES}'16)},
month = jun,
year = {2016},
editor = {Cassandras, Christos G. and Giua, Alessandro and Li, Zhiwu},
publisher = {{IEEE}},
pages = {319--324},
numpages = {6},
}
- with Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickaeël Randour, Jean-François Raskin, Ocan Sankur. Non-Zero Sum Games for Reactive Synthesis. 10th International Conference on Language and Automata Theory and Applications (LATA'16), March 14-18th, 2016, Prague, Czech Republic. PDFPublisher's pageBibTeX@inproceedings{lata16,
title = {Non-Zero Sum Games for Reactive Synthesis},
author = {Brenguier, Romain and Clemente, Lorenzo and Hunter, Paul and P{\'e}rez, Guillermo A. and Randour, Mickae{\"e}l and Raskin, Jean-Fran{\c c}ois and Sankur, Ocan and Sassolas, Mathieu},
booktitle = {Proceedings of the 10th International Conference on Language and Automata Theory and Applications ({LATA}'16)},
month = mar,
year = {2016},
editor = {Dediu, Adrian-Horia and Janou{\v s}ek, Jan and Mart{\'\i}n-Vide, Carlos and Truthe, Bianca},
volume = {9618},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pages = {3--23},
numpages = {21},
}
- with Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din. Polynomial Interrupt Timed Automata. 9th International Workshop on Reachability problems (RP'15), September 21-23th, 2015, Warsaw, Poland. PDFPublisher's pageArXiv versionBibTeX@inproceedings{rp15,
title = {Polynomial {I}nterrupt {T}imed {A}utomata},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Picaronny, Claudine and Safey El Din, Mohab and Sassolas, Mathieu},
booktitle = {Proceedings of the 9th International Workshop on Reachability problems ({RP}'15)},
month = sep,
year = {2015},
editor = {Boja{\'n}czyk, Miko{\l}aj and Lasota, S{\l}awomir and Potapov, Igor},
volume = {9328},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pages = {20--32},
numpages = {13},
}
- with Béatrice Bérard, John Mullins. Quantifying Opacity. Mathematical Structures in Computer Science 25(Special issue 2), February 2015. PDFPublisher's pageArXiv versionBibTeX@article{mscs15,
title = {Quantifying Opacity},
author = {B{\'e}rard, B{\'e}atrice and Mullins, John and Sassolas, Mathieu},
journal = {Mathematical Structures in Computer Science},
month = feb,
year = {2015},
volume = {25},
number = {Special issue 2},
publisher = {Cambridge University Press},
pages = {361--403},
numpages = {43},
}
- with Romain Brenguier, Jean-François Raskin. The Complexity of Admissibility in Omega-Regular Games. Joint meeting of the 23rd Annual Conference on Computer Science Logic (CSL) and the 29th Annual Symposium on Logic in Computer Science (LICS), July 14-18th, 2014, Vienna, Austria. PDFPublisher's pageArXiv versionBibTeX@inproceedings{lics14,
title = {The Complexity of Admissibility in Omega-Regular Games},
author = {Brenguier, Romain and Raskin, Jean-Fran{\c c}ois and Sassolas, Mathieu},
booktitle = {Proceedings of the joint meeting of the 23rd Annual Conference on Computer Science Logic ({CSL}) and the 29th Annual Symposium on Logic in Computer Science ({LICS})},
month = jul,
year = {2014},
editor = {Henzinger, Thomas A. and Miller, Dale},
publisher = {{ACM}},
pages = {23:1--23:10},
numpages = {10},
}
- with Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux. Channel Synthesis for Finite Transducers. International Journal of Foundations of Computer Science 23(6), November 2012. PDFPublisher's pageBibTeX@article{ijfcs12,
title = {Channel Synthesis for Finite Transducers},
author = {Benattar, Gilles and B{\'e}rard, B{\'e}atrice and Lime, Didier and Mullins, John and Roux, Olivier H. and Sassolas, Mathieu},
journal = {International Journal of Foundations of Computer Science},
month = nov,
year = {2012},
volume = {23},
number = {6},
publisher = {World Scientific},
pages = {1241--1260},
numpages = {20},
}
- with Béatrice Bérard, Serge Haddad, Nathalie Sznajder. Concurrent Games on VASS with Inhibition. 23rd International Conference on Concurrency Theory (CONCUR'12), September 4-7th, 2012, Newcastle, UK. PDFBibTeX@inproceedings{concur12,
title = {Concurrent Games on {VASS} with Inhibition},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Sassolas, Mathieu and Sznajder, Nathalie},
booktitle = {Proceedings of the 23rd International Conference on Concurrency Theory ({CONCUR}'12)},
month = sep,
year = {2012},
editor = {Koutny, Maciej and Ulidowski, Irek},
volume = {7454},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pages = {39--52},
numpages = {14},
}
- with Béatrice Bérard, Serge Haddad. Interrupt Timed Automata: Verification and Expressiveness. Formal Methods in System Design 40(1), February 2012. PDFPublisher's pageArXiv versionBibTeX@article{fmsd12,
title = {{I}nterrupt {T}imed {A}utomata: Verification and Expressiveness},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Sassolas, Mathieu},
journal = {Formal Methods in System Design},
month = feb,
year = {2012},
volume = {40},
number = {1},
publisher = {Springer},
pages = {41--87},
numpages = {47},
}
- with Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux. Channel Synthesis for Finite Transducers. 13th International Conference on Automata and Formal Languages (AFL'11), August 17-22th, 2011, Debrecen, Hungary. PDFBibTeX@inproceedings{afl11,
title = {Channel Synthesis for Finite Transducers},
author = {Benattar, Gilles and B{\'e}rard, B{\'e}atrice and Lime, Didier and Mullins, John and Roux, Olivier H. and Sassolas, Mathieu},
booktitle = {Proceedings of the 13th International Conference on Automata and Formal Languages ({AFL}'11)},
month = aug,
year = {2011},
editor = {D{\"o}m{\"o}si, P{\'a}l and Szabolcs, Iv{\'a}n},
pages = {79--92},
numpages = {14},
}
- with Marsha Chechik, Sebastian Uchitel. Exploring Inconsistencies between Modal Transition Systems. Journal of Software and Systems Modeling 10(1), February 2011. PDFPublisher's pageBibTeX@article{sosym11,
title = {Exploring Inconsistencies between {M}odal {T}ransition {S}ystems},
author = {Sassolas, Mathieu and Chechik, Marsha and Uchitel, Sebastian},
journal = {Journal of Software and Systems Modeling},
month = feb,
year = {2011},
volume = {10},
number = {1},
publisher = {Springer},
pages = {117--142},
numpages = {26},
}
- with Béatrice Bérard, John Mullins. Quantifying Opacity. 7th International Conference on Quantitative Evaluation of Systems (QEST'10), September 15-18th, 2010, Williamsburg, Virginia, USA. PDFBibTeX@inproceedings{qest10,
title = {Quantifying Opacity},
author = {B{\'e}rard, B{\'e}atrice and Mullins, John and Sassolas, Mathieu},
booktitle = {Proceedings of the 7th International Conference on Quantitative Evaluation of Systems ({QEST}'10)},
month = sep,
year = {2010},
editor = {Ciardo, Gianfranco and Segala, Roberto},
publisher = {{IEEE} Computer Society},
pages = {263--272},
numpages = {10},
}
- with Béatrice Bérard, Serge Haddad. Real Time Properties for Interrupt Timed Automata. Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), September 6-8th, 2010, Paris, France. PDFPublisher's pageBibTeX@inproceedings{time10,
title = {Real Time Properties for {I}nterrupt {T}imed {A}utomata},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Sassolas, Mathieu},
booktitle = {Proceedings of the Proceedings of the 17th International Symposium on Temporal Representation and Reasoning ({TIME}'10)},
month = sep,
year = {2010},
editor = {Markey, Nicolas and Wijsen, Jef},
publisher = {{IEEE} Computer Society},
pages = {69--76},
numpages = {8},
}
- with Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux. Covert Channels with Sequential Transducers. Workshop on Foundations of Computer Security, August 10th, 2009, Los Angeles, California, USA. PDFBibTeX@inproceedings{fcs09,
title = {Covert Channels with Sequential Transducers},
author = {Benattar, Gilles and B{\'e}rard, B{\'e}atrice and Lime, Didier and Mullins, John and Roux, Olivier H. and Sassolas, Mathieu},
booktitle = {Proceedings of the Workshop on Foundations of Computer Security},
month = aug,
year = {2009},
editor = {Cortier, V{\'e}ronique and Shmatikov, Vitaly},
pages = {131--145},
numpages = {15},
}
Other
- Méthodes qualitatives et quantitatives pour la détection d'information cachée. PhD thesis. Defended on November 28th, 2011. Manuscrit (fr)SlidesBibTeX@phdthesis{these,
title = {M{\'e}thodes qualitatives et quantitatives pour la d{\'e}tection d'information cach{\'e}e},
author = {Sassolas, Mathieu},
school = {Universit{\'e} Pierre et Marie Curie},
month = nov,
year = {2011},
numpages = {174},
}
- Exploring Inconsistencies between Modal Transition Systems. Master thesis. Defended in September 2008. PDFBibTeX@mastersthesis{master,
title = {Exploring Inconsistencies between {M}odal {T}ransition {S}ystems},
author = {Sassolas, Mathieu},
school = {{\'E}cole Normale Sup{\'e}rieure de Cachan},
month = sep,
year = {2008},
numpages = {28},
}
- with Gilles Benattar. Canaux cachés à partir de transducteurs. 6ème École d'été Temps Réel (ETR'09), August 31st-September 4th, 2009, Paris, France. BibTeX@inproceedings{etr09-cc,
title = {Canaux cach{\'e}s {\`a} partir de transducteurs},
author = {Benattar, Gilles and Sassolas, Mathieu},
booktitle = {Actes de la 6{\`e}me {\'E}cole d'{\'e}t{\'e} Temps R{\'e}el ({ETR}'09)},
month = sep,
year = {2009},
editor = {Pautet, Laurent},
pages = {211--216},
numpages = {6},
}
- with Béatrice Bérard, Serge Haddad. Indécidabilité du model checking de TCTL avec horloges explicites sur les automates temporisés à interruptions. 6ème École d'été Temps Réel (ETR'09), August 31st-September 4th, 2009, Paris, France. BibTeX@inproceedings{etr09-ita,
title = {Ind{\'e}cidabilit{\'e} du model checking de {TCTL} avec horloges explicites sur les automates temporis{\'e}s {\`a} interruptions},
author = {B{\'e}rard, B{\'e}atrice and Haddad, Serge and Sassolas, Mathieu},
booktitle = {Actes de la 6{\`e}me {\'E}cole d'{\'e}t{\'e} Temps R{\'e}el ({ETR}'09)},
month = sep,
year = {2009},
editor = {Pautet, Laurent},
pages = {189--192},
numpages = {4},
}
- PseudoMerge: a Prototype Tool. December 1st, 2009. ArchiveBibTeX@misc{pseudomergeprototype,
title = {{PseudoMerge}: a Prototype Tool},
author = {Sassolas, Mathieu},
month = dec,
year = {2009},
howpublished = {\url{http://www.lacl.fr/~msassolas/recherche/tools/PseudoMergePrototype.zip}},
}
- My papers on arXiv.
- My DBLP publication list.
