Law, T., Demange, D., Blazy, S., Analyse sémantique et compilation pour la sécurité des environnements d’exécution (EPICURE), Centre Inria de l’Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), & Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT). (2025, Januar 1). A Mechanized Semantics for Dataflow Circuits. Gehalten auf der. CCSD&ACM.

LAW, Tony, DEMANGE, Delphine, BLAZY, Sandrine, ANALYSE SÉMANTIQUE ET COMPILATION POUR LA SÉCURITÉ DES ENVIRONNEMENTS D’EXÉCUTION (EPICURE), CENTRE INRIA DE L’UNIVERSITÉ DE RENNES, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES (IRISA), UNIVERSITÉ DE RENNES (UR)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES - RENNES (INSA RENNES), INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-UNIVERSITÉ DE BRETAGNE SUD (UBS)-ÉCOLE NORMALE SUPÉRIEURE - RENNES (ENS RENNES)-INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA)-CENTRALESUPÉLEC-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-IMT ATLANTIQUE (IMT ATLANTIQUE), INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT MINES-TÉLÉCOM PARIS (IMT)-UNIVERSITÉ DE RENNES (UR)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES - RENNES (INSA RENNES), INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTÈMES ALÉATOIRES (IRISA), INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-INSTITUT NATIONAL DES SCIENCES APPLIQUÉES (INSA)-UNIVERSITÉ DE BRETAGNE SUD (UBS)-ÉCOLE NORMALE SUPÉRIEURE - RENNES (ENS RENNES)-CENTRALESUPÉLEC-CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-IMT ATLANTIQUE (IMT ATLANTIQUE) und INSTITUT MINES-TÉLÉCOM PARIS (IMT)-INSTITUT MINES-TÉLÉCOM PARIS (IMT), 2025. A Mechanized Semantics for Dataflow Circuits. In: . CCSD&ACM. 1 Januar 2025.

Law, T., D. Demange, S. Blazy, Analyse sémantique et compilation pour la sécurité des environnements d’exécution (EPICURE), Centre Inria de l’Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), und Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT). A Mechanized Semantics for Dataflow Circuits. CCSD&ACM, 2025.

Law, T., Demange, D., Blazy, S., Analyse sémantique et compilation pour la sécurité des environnements d’exécution (EPICURE), Centre Inria de l’Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Centrale Supélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique) und Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT). (2025), „A Mechanized Semantics for Dataflow Circuits“, in , Bd. , CCSD&ACM.