Filter your results
- 65
- 12
- 42
- 16
- 16
- 2
- 1
- 13
- 1
- 1
- 68
- 5
- 2
- 1
- 1
- 3
- 3
- 6
- 6
- 5
- 4
- 5
- 4
- 5
- 2
- 3
- 2
- 7
- 3
- 5
- 2
- 3
- 4
- 3
- 1
- 76
- 1
- 70
- 70
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 29
- 24
- 23
- 16
- 11
- 8
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Skeletal Muscle–Specific Activation of G q Signaling Maintains Glucose HomeostasisDiabetes, 2019, 68 (6), pp.1341-1352. ⟨10.2337/db18-0796⟩
Journal articles
hal-02398236v1
|
||
|
Securing Compilation Against Memory ProbingPLAS '18 - 13th Workshop on Programming Languages and Analysis for Security, Oct 2018, Toronto, Canada. pp.29-40, ⟨10.1145/3264820.3264822⟩
Conference papers
hal-01901765v1
|
||
|
Hybrid Monitoring of Attacker Knowledge29th IEEE Computer Security Foundations Symposium, 2016, Lisboa, Portugal
Conference papers
hal-01310572v1
|
||
Kinetic energy distributions in pionic hydrogenThe European Physical Journal D : Atomic, molecular, optical and plasma physics, 2004, 31, pp.11. ⟨10.1140/epjd/e2004-00125-0⟩
Journal articles
istex
hal-00003766v1
|
|||
|
A Formal Model of Access Control for Mobile Interactive Devices2006
Other publications
inria-00083453v1
|
||
|
Semantic Foundations and Inference of Non-null Annotations10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), 2008, Oslo, Norway
Conference papers
inria-00332356v1
|
||
|
Control-flow analysis of function call and returns by abstract interpretationACM International Conference on Functional Programming, Sep 2009, Edinburgh, United Kingdom. ⟨10.1145/1596550.1596592⟩
Conference papers
inria-00574944v1
|
||
|
Building CFA for λ-calculus from Skeletal SemanticsJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.152-171
Conference papers
hal-03936686v1
|
||
|
A PCC Architecture based on Certified Abstract Interpretation[Research Report] PI 1764, 2005, pp.35
Reports
inria-00000866v1
|
||
Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. ProceedingsSandrine Blazy; Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Aug 2015, Saint-Malo, France. Lecture Notes in Computer Science (LNCS) (9291), Springer, pp.335, 2015, 978-3-662-48287-2
Proceedings
hal-01194558v1
|
|||
|
A Provably Correct Stackless Intermediate Representation for Java BytecodeThe 8th Asian Symposium on Programming Languages and Systems (APLAS), 2010, Shangai, China
Conference papers
inria-00537815v1
|
||
|
Hybrid Typing of Secure Information Flow in a JavaScript-like LanguageInternational Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain
Conference papers
hal-01243029v1
|
||
|
Skeletal Semantics and their InterpretationsProceedings of the ACM on Programming Languages, In press, 44, pp.1-31. ⟨10.1145/3290357⟩
Journal articles
hal-01881863v3
|
||
|
Fast inference of polynomial invariants for imperative programs[Research Report] RR-7627, INRIA. 2011, pp.31
Reports
inria-00595783v1
|
||
|
Control-flow analysis of function calls and returns by abstract interpretationInformation and Computation, 2012, 2012, pp.49-76. ⟨10.1016/j.ic.2011.11.005⟩
Journal articles
hal-00758152v1
|
||
Inference of polynomial invariants for imperative programs: a farewell to Gröbner basesSAS - 19th International Static Analysis Symposium - 2012, Sep 2012, Deauville, France
Conference papers
hal-00758890v1
|
|||
|
Termination of Ethereum's Smart Contracts[Research Report] Univ Rennes, Inria, CNRS, IRISA. 2020
Reports
hal-02555738v3
|
||
|
Lifting Numeric Relational Domains to Algebraic Data TypesSAS 2022 - 29th International Symposium on Static Analysis, Dec 2022, Auckland, New Zealand. pp.104-134, ⟨10.1007/978-3-031-22308-2_6⟩
Conference papers
hal-03906375v1
|
||
|
Numeric Domains Meet Algebraic Data TypesNSAD 2020 - 9th International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual, United States. pp.12-16, ⟨10.1145/3427762.3430178⟩
Conference papers
hal-03028476v1
|
||
|
Certified Result Checking for Polyhedral Analysis of Bytecode ProgramsThe 5th International Symposium on Trustworthy Global Computing (TGC), 2010, Munich, Germany
Conference papers
inria-00537816v1
|
||
|
Verifying Resource Access Control on Mobile Interactive DevicesJournal of Computer Security, 2010, 18 (6), pp.971-998
Journal articles
inria-00537821v1
|
||
|
Hybrid information flow analysis against web tracking (invited talk)CRiSIS 2017 - 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.1-33
Conference papers
hal-01658896v1
|
||
|
Modeling and Abstraction of Memory Management in a HypervisorFundamental Approaches to Software Engineering (FASE’16), Apr 2016, Eindhoven, Netherlands. pp.214 - 230, ⟨10.1007/978-3-662-49665-7_13⟩
Conference papers
hal-01394174v1
|
||
|
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids[Research Report] RR-6338, INRIA. 2007, pp.35
Reports
inria-00182338v4
|
||
|
ATOMIC CASCADE IN KAONIC HYDROGEN AND DEUTERIUMDAFNE 2004: Physics at meson factories, 2004, Frascati, Italy
Conference papers
hal-00003765v1
|
||
|
Computing stack maps with interfaces[Research Report] PI 1879, 2008, pp.39
Reports
inria-00200724v2
|
||
|
Compiling Sandboxes: Formally Verified Software Fault IsolationESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.499-524, ⟨10.1007/978-3-030-17184-1_18⟩
Conference papers
hal-02316189v1
|
||
|
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩
Conference papers
hal-01093327v1
|
||
|
Enforcing Secure Object Initialization in Java15th European Symposium on Research in Computer Security (ESORICS), 2010, Athènes, Greece. pp.101-115
Conference papers
inria-00503953v1
|
||
|
Sawja: Static Analysis Workshop for JavaThe International Conference on Formal Verification of Object-Oriented Software, Beckert, Bernhard and Marché, Claude, 2010, Paris, France. pp.253--267
Conference papers
inria-00504047v1
|