Help
RSS
API
Feed
Maltego
Contact
Domain > allan-blanchard.fr
×
More information on this domain is in
AlienVault OTX
Is this malicious?
Yes
No
DNS Resolutions
Date
IP Address
2024-08-23
185.49.20.101
(
ClassC
)
Port 80
HTTP/1.1 301 Moved Permanentlydate: Fri, 23 Aug 2024 08:37:08 GMTserver: Apachelocation: https://allan-blanchard.fr/content-length: 235content-type: text/html; charsetiso-8859-1 !DOCTYPE HTML PUBLIC -//IETF//DTD HTML 2.0//EN>html>head>title>301 Moved Permanently/title>/head>body>h1>Moved Permanently/h1>p>The document has moved a hrefhttps://allan-blanchard.fr/>here/a>./p>/body>/html>
Port 443
HTTP/1.1 200 OKdate: Fri, 23 Aug 2024 08:37:09 GMTserver: Apachelast-modified: Mon, 30 Mar 2020 08:20:33 GMTaccept-ranges: bytescontent-length: 13917vary: Accept-Encoding,User-Agentserver-id: apache01ecache-control: publiccontent-type: text/html !DOCTYPE html>html langen>head> meta charsetutf-8 /> meta http-equivX-UA-Compatible contentIEedge /> meta nameHandheldFriendly contentTrue /> meta nameviewport contentwidthdevice-width, initial-scale1.0 /> meta namerobots content /> link relstylesheet typetext/css hrefhttps://allan-blanchard.fr/theme/stylesheet/style.min.css> link relstylesheet typetext/css hrefhttps://allan-blanchard.fr/theme/pygments/github.min.css> link relstylesheet typetext/css hrefhttps://allan-blanchard.fr/theme/font-awesome/css/font-awesome.min.css>meta nameauthor contentAllan Blanchard />meta namedescription contentAbout me I am currently a researcher at the Software Reliability and Security Laboratory of te CEA LIST. Previously, I was a post-doc researcher at Inria Nord Europe for the EU H2020 VESSEDIA project. Before that, I was a teaching and research assistant (ATER) at the university institute of technology of Orléans, associated to the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO). I prepared my PhD at the Software Reliability and Security Laboratory of the CEA LIST. I am interested in the analysis of concurrent code using formal methods and more precisely proof. Research Currently, I am involved in the development of Frama-C, a platform for the analysis of C programs, using different plugins that provides different kind of analyses and allows to get different levels of confidence into the analyzed software. Previously, I worked for the EU H2020 VESSEDIA project that aims at making formal methods easier to apply in the context of the internet-of-things where many security risks are rising as IoT devices are more and more widespread. My current work is to apply formal verification to the Contiki microkernel (an lightweight OS for IoT) and its libraries, mostly to show the absence of runtime errors. I mostly use Frama-C with the EVA plugin and the WP plugin. In the context of Contiki, concurrency is only simulated using a library called protothread which allows cooperative multi-tasking without the need of multiple stacks. My PhD thesis work is about a (formally correct) code and specification transformation from concurrent to equivalent sequential code. It allows one to verify a concurrent code using tools dedicated to sequential code. Such a transformation is valid under the assumption that the verified program has a sequentially consistent behavior. Our processors implements memory models that do not guarantee it. A part of my work is to study these models, and to define ways to analyze programs taking them in account. Events Upcoming: Past: 10/2019 - FM 2019, Porto, Portugal (Tutorial) 07/2019 - Program Committee: 4PAD 2019, Dublin, Ireland 04/2019 - SAC 2019, Limassol, Cyprus (Paper slides + Tutorial slides) 01/2018 - FIC 2019, Lille, France slides 07/2018 - Program Committee: 4PAD 2018, Orléans, France 07/2018 - Tutorial: HPCS 2018, Orléans, France slides 06/2018 - Talk: TAP 2018, Toulouse, France slides 06/2018 - Talk: AFADL 2018, Grenoble, France slides 05/2018 - Tutorial: ZINC 2018, Novi Sad, Serbia slides 04/2018 - Talk: NFM 2018, Newport News, VA, USA slides 06/2017 - Talk: AFADL 2017, Montpellier, France slides 12/2016 - PhD Thesis Defence, Saclay, France slides 07/2016 - Talk: CSTVA 2016, Saarbrücken, Germany slides 06/2016 - Frama-C Day 2016, Paris, France slides 06/2015 - Talk: FMICS 2015, Oslo, Norway slides 06/2015 - Talk: AFADL 2015, Bordeaux, France slides 03/2015 - EJC IM 2015, Orléans, France 12/2014 - Forum STIC 2014, Saclay, France slides 06/2014 : EJCP 2014, Rennes, France Teaching I am the author of a tutorial on Frama-C and WP. I mainly teach code validation (using test and deductive proof), algorithms (basics, and then graphs and automaton), methods and languages for object-oriented design, and multi-core programmings (parallelism and concurrency). />meta namekeywords content>meta propertyog:site_name contentAllan Blanchards webpage/>meta propertyog:title content/>meta propertyog:description contentAbout me I am currently a researcher at the Software Reliability and Security Laboratory of te CEA LIST. Previously, I was a post-doc researcher at Inria Nord Europe for the EU H2020 VESSEDIA project. Before that, I was a teaching and research assistant (ATER) at the university institute of technology of Orléans, associated to the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO). I prepared my PhD at the Software Reliability and Security Laboratory of the CEA LIST. I am interested in the analysis of concurrent code using formal methods and more precisely proof. Research Currently, I am involved in the development of Frama-C, a platform for the analysis of C programs, using different plugins that provides different kind of analyses and allows to get different levels of confidence into the analyzed software. Previously, I worked for the EU H2020 VESSEDIA project that aims at making formal methods easier to apply in the context of the internet-of-things where many security risks are rising as IoT devices are more and more widespread. My current work is to apply formal verification to the Contiki microkernel (an lightweight OS for IoT) and its libraries, mostly to show the absence of runtime errors. I mostly use Frama-C with the EVA plugin and the WP plugin. In the context of Contiki, concurrency is only simulated using a library called protothread which allows cooperative multi-tasking without the need of multiple stacks. My PhD thesis work is about a (formally correct) code and specification transformation from concurrent to equivalent sequential code. It allows one to verify a concurrent code using tools dedicated to sequential code. Such a transformation is valid under the assumption that the verified program has a sequentially consistent behavior. Our processors implements memory models that do not guarantee it. A part of my work is to study these models, and to define ways to analyze programs taking them in account. Events Upcoming: Past: 10/2019 - FM 2019, Porto, Portugal (Tutorial) 07/2019 - Program Committee: 4PAD 2019, Dublin, Ireland 04/2019 - SAC 2019, Limassol, Cyprus (Paper slides + Tutorial slides) 01/2018 - FIC 2019, Lille, France slides 07/2018 - Program Committee: 4PAD 2018, Orléans, France 07/2018 - Tutorial: HPCS 2018, Orléans, France slides 06/2018 - Talk: TAP 2018, Toulouse, France slides 06/2018 - Talk: AFADL 2018, Grenoble, France slides 05/2018 - Tutorial: ZINC 2018, Novi Sad, Serbia slides 04/2018 - Talk: NFM 2018, Newport News, VA, USA slides 06/2017 - Talk: AFADL 2017, Montpellier, France slides 12/2016 - PhD Thesis Defence, Saclay, France slides 07/2016 - Talk: CSTVA 2016, Saarbrücken, Germany slides 06/2016 - Frama-C Day 2016, Paris, France slides 06/2015 - Talk: FMICS 2015, Oslo, Norway slides 06/2015 - Talk: AFADL 2015, Bordeaux, France slides 03/2015 - EJC IM 2015, Orléans, France 12/2014 - Forum STIC 2014, Saclay, France slides 06/2014 : EJCP 2014, Rennes, France Teaching I am the author of a tutorial on Frama-C and WP. I mainly teach code validation (using test and deductive proof), algorithms (basics, and then graphs and automaton), methods and languages for object-oriented design, and multi-core programmings (parallelism and concurrency)./>meta propertyog:locale contenten_US/>meta propertyog:url contenthttps://allan-blanchard.fr//>meta propertyog:type contentarticle/>meta propertyarticle:published_time content2019-01-01 00:00:00+01:00/>meta propertyarticle:modified_time content/>meta propertyarticle:author contenthttps://allan-blanchard.fr/author/allan-blanchard.html>meta propertyarticle:section contentmisc/>meta propertyog:image content/images/photo.jpg> title>Allan Blanchards webpage – /title>/head>body> aside> div> a hrefhttps://allan-blanchard.fr> img src/images/photo.jpg alt title> /a> h1>a hrefhttps://allan-blanchard.fr>/a>/h1> nav> ul classlist> li>CEA LIST, LSL, PC174/li> li>91191 Gif-sur-Yvette Cedex/li> li>mail@allan-blanchard.fr/li> /ul> /nav> ul classsocial> li>a classsc-You can add links in your config file href# target_blank>i classfa fa-You can add links in your config file>/i>/a>/li> li>a classsc-Another social link href# target_blank>i classfa fa-Another social link>/i>/a>/li> /ul> /div> /aside> main> nav> a hrefhttps://allan-blanchard.fr> Home/a> a href/category/research.html>Research/a> a href/category/teaching.html>Teaching/a> a href/category/cv.html>CV/a> /nav>article classsingle> header> p> /p> /header> div> h2>About me/h2>p>I am currently a researcher at the Software Reliability and SecurityLaboratory of te CEA LIST. Previously, I was a post-doc researcher atInria Nord Europe for the a hrefhttp://vessedia.eu>EU H2020 VESSEDIA project/a>.Before that, I was a teaching and research assistant (ATER) at theuniversity institute of technology of Orléans, associated to theLaboratoire dInformatique Fondamentale dOrléans (LIFO). I prepared myPhD at the Software Reliability and Security Laboratory of the CEA LIST./p>p>I am interested in the analysis of concurrent code using formal methods and moreprecisely proof./p>h2>Research/h2>p>Currently, I am involved in the development of a hrefhttp://frama-c.com>Frama-C/a>,a platform for the analysis of C programs, using different plugins that providesdifferent kind of analyses and allows to get different levels of confidence intothe analyzed software./p>p>Previously, I worked for the a hrefhttp://vessedia.eu>EU H2020 VESSEDIA project/a>that aims at making formal methods easier to apply in the context of theinternet-of-things where many security risks are rising as IoT devices are moreand more widespread. My current work is to apply formal verification to theContiki microkernel (an lightweight OS for IoT) and its libraries, mostly toshow the absence of runtime errors. I mostly use Frama-C with the EVA pluginand the WP plugin./p>p>In the context of Contiki, concurrency is only simulated using a librarycalled protothread which allows cooperative multi-tasking without the need ofmultiple stacks./p>p>My PhD thesis work is about a (formally correct) code and specificationtransformation from concurrent to equivalent sequential code. It allows one toverify a concurrent code using tools dedicated to sequential code.Such a transformation is valid under the assumption that the verified programhas a sequentially consistent behavior. Our processors implements memory modelsthat do not guarantee it. A part of my work is to study these models, and todefine ways to analyze programs taking them in account./p>h2>Events/h2>p>Upcoming:/p>p>Past:/p>ul>li>10/2019 - FM 2019, Porto, Portugal (a hrefhttps://allanblanchard.github.io/tutorials/Tutorial-FM-19-Formal-Verification-of-IoT-Software-with-Frama-C.html>Tutorial/a>)/li>li>07/2019 - Program Committee: 4PAD 2019, Dublin, Ireland/li>li>04/2019 - SAC 2019, Limassol, Cyprus (Paper a hrefslides/sac-2019.pdf>slides/a> + Tutorial a hrefslides/sac-2019-tuto.pdf>slides/a>)/li>li>01/2018 - FIC 2019, Lille, France a hrefslides/fic-2019.pdf>slides/a>/li>li>07/2018 - Program Committee: 4PAD 2018, Orléans, France/li>li>07/2018 - Tutorial: HPCS 2018, Orléans, France a hrefslides/hpcs-2018.pdf>slides/a>/li>li>06/2018 - Talk: TAP 2018, Toulouse, France a hrefslides/tap-2018.pdf>slides/a>/li>li>06/2018 - Talk: AFADL 2018, Grenoble, France a hrefslides/afadl-2018.pdf>slides/a>/li>li>05/2018 - Tutorial: ZINC 2018, Novi Sad, Serbia a hrefslides/zinc-2018.pdf>slides/a>/li>li>04/2018 - Talk: NFM 2018, Newport News, VA, USA a hrefslides/nfm-2018.pdf>slides/a>/li>li>06/2017 - Talk: AFADL 2017, Montpellier, France a hrefslides/afadl-2017.pdf>slides/a>/li>li>12/2016 - PhD Thesis Defence, Saclay, France a hrefslides/PhD-blanchard.pdf>slides/a>/li>li>07/2016 - Talk: CSTVA 2016, Saarbrücken, Germany a hrefslides/cstva-2016.pdf>slides/a>/li>li>06/2016 - Frama-C Day 2016, Paris, France a hrefslides/FCDay-2016.pdf>slides/a>/li>li>06/2015 - Talk: FMICS 2015, Oslo, Norway a hrefslides/fmics-2015.pdf>slides/a>/li>li>06/2015 - Talk: AFADL 2015, Bordeaux, France a hrefslides/fmics-2015.pdf>slides/a>/li>li>03/2015 - EJC IM 2015, Orléans, France/li>li>12/2014 - Forum STIC 2014, Saclay, France a hrefslides/stic-2014.pdf>slides/a>/li>li>06/2014 : EJCP 2014, Rennes, France/li>/ul>h2>Teaching/h2>p>I am the author of a hrefframa-c-wp-tutorial.html>a tutorial on Frama-C and WP/a>./p>p>I mainly teach code validation (using test and deductive proof), algorithms (basics,and then graphs and automaton), methods and languages for object-oriented design, andmulti-core programmings (parallelism and concurrency)./p> /div>/article> footer>p>© /p>p> Powered by a hrefhttp://getpelican.com target_blank>Pelican/a> - a hrefhttps://github.com/alexandrevicenzi/flex target_blank>Flex/a> theme by a hrefhttp://alexandrevicenzi.com target_blank>Alexandre Vicenzi/a>/p> /footer> /main>script typeapplication/ld+json>{ @context : http://schema.org, @type : Blog, name: Allan Blanchards webpage , url : https://allan-blanchard.fr, image: /images/photo.jpg, description: }/script>/body>/html>
View on OTX
|
View on ThreatMiner
Please enable JavaScript to view the
comments powered by Disqus.
Data with thanks to
AlienVault OTX
,
VirusTotal
,
Malwr
and
others
. [
Sitemap
]