Conférence francophone sur le thème de la sécurité de
l'information.
Elle a eu lieu
à Rennes du 5 au 7 juin 2024.
David Pichardie est chargé de recherche à l'INRIA Rennes dans l'équipe-projet Celtique. Son domaine de recherche est la conception de logiciels sûrs à l'aide de méthodes formelles comme l'analyse statique ou la preuve assistée avec comme domaine d'application privilégié la sécurité des applications Java.