Skip to Main content Skip to Navigation

tel-00461306v1  Theses
Jérémy Dubreil. Monitoring and Supervisory Control for Opacity Properties
Software Engineering [cs.SE]. Université Rennes 1, 2009. English
hal-03091740v1  Book sections
Moreno FalaschiCatuscia PalamidessiMarco Romanelli. Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy
Frank S. de Boer and Jacopo Mauro. Recent Developments in the Design and Implementation of Programming Languages, 86, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.11:1-11:20, 2020, OASICS, ⟨10.4230/OASIcs.Gabbrielli.2020.11⟩
hal-01723723v1  Conference papers
Minh NgoNataliia BielovaCormac FlanaganTamara RezkAlejandro Russo et al.  A Better Facet of Dynamic Information Flow Control
WWW '18 Companion: The 2018 Web Conference Companion, Apr 2018, Lyon, France. pp.1-9
inria-00404236v1  Reports
Benoit BoissinotPhilip BriskAlain DarteFabrice Rastello. SSI Revisited
[Research Report] LIP 2009-24, 2009, pp.17
hal-01100337v1  Conference papers
Yan ChenUmut A. AcarKanat Tangwongsan. Functional Programming for Dynamic and Large Data with Self-Adjusting Computation
ICFP 2014: 19th ACM SIGPLAN International Conference on Functional Programming, Sep 2014, Gothenburg, Sweden. ⟨10.1145/2628136.2628150⟩
hal-01957581v2  Journal articles
Matías ToroRonald GarciaÉric Tanter. Type-Driven Gradual Security with References
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2018, 40 (4), pp.1-55. ⟨10.1145/3229061⟩
hal-01644835v1  Journal articles
Raimil CruzTamara RezkBernard SerpetteÉric Tanter. Type Abstraction for Relaxed Noninterference (Artifact) *
Dagstuhl Artifacts Series, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, 3 (2), 2 p. ⟨10.4230/DARTS.3.2.9⟩
hal-01672703v1  Conference papers
Niklas GrimmKenji MaillardCédric FournetCătălin HriţcuMatteo Maffei et al.  A Monadic Framework for Relational Verification
7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP), Jan 2018, Los Angeles, United States. pp.130--145, ⟨10.1145/3167090⟩
hal-01344563v1  Conference papers
Deepak SubramanianGuillaume HietChristophe Bidan. Preventive Information Flow Control through a Mechanism of Split Addresses
9ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, May 2014, Saint-Germain-Au-Mont-d'Or, France
hal-01637023v2  Conference papers
Raimil CruzTamara RezkBernard SerpetteÉric Tanter. Type Abstraction for Relaxed Noninterference *
ECOOP 2017 - 31st European Conference on Object-Oriented Programming, Jun 2017, Barcelona, Spain. pp.1-27, ⟨10.4230/LIPIcs.ECOOP.2017.53⟩
tel-01657148v2  Theses
Laurent Georget. Suivi de flux d'information correct pour les systèmes d'exploitation Linux
Système d'exploitation [cs.OS]. Université Rennes 1, 2017. Français. ⟨NNT : 2017REN1S040⟩
hal-00921461v1  Conference papers
André TavaresFabrice RastelloBenoit BoissinotFernando Pereira. Parameterized Construction of Program Representations for Sparse Dataflow Analyses
CC 2014 - 23rd International Conference on Compiler Construction, 2014, Grenoble, France
hal-01966872v1  Conference papers
Lefki KacemCatuscia Palamidessi. Geometric Noise for Locally Private Counting Queries
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security (PLAS 2018), 2018, Toronto, Canada. pp.13-16, ⟨10.1145/3264820.3264827⟩
hal-01385196v1  Conference papers
Mariem GraaFrédéric CuppensNora Cuppens-BoulahiaJean-Louis Lanet. Tracking explicit and control flows in Java and native Android apps code,
ICISSP 2016 : 2nd International Conference on Information Systems Security and Privacy,, Feb 2016, Roma, Italy. ⟨10.5220/0005686603070316⟩
inria-00001218v1  Conference papers
Gurvan Le GuernicThomas Jensen. Monitoring Information Flow
Workshop on Foundations of Computer Security - FCS'05, Jul 2005, Chicago/USA, pp.19--30
inria-00335091v1  Conference papers
Horatiu CirsteaPierre-Etienne MoreauAnderson Santana de Oliveira. Rewrite Based Specification of Access Control Policies
3rd International Workshop on Security and Rewriting Techniques - SecReT 2008, Jun 2008, Pittsburgh, United States. pp.37-54
hal-01535862v1  Conference papers
Laurent GeorgetMathieu JaumeGuillaume PiolleFrédéric TronelValérie Viet Triem Tong. Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux
5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩