Search Results - Durier, Adrien

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Divergence and unique solution of equations

    Divergence and unique solution of equations by Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Eager functions as processes

    Eager functions as processes by Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Towards ‘up to context’ reasoning about higher-order processes

    Towards ‘up to context’ reasoning about higher-order processes by Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    An Extended Account of Trace-relating Compiler Correctness and Secure Compilation

    An Extended Account of Trace-relating Compiler Correctness and Secure Compilation by Abate, Carmine, Blanco, Roberto, Ciobâcă, Ştefan, Durier, Adrien, Garg, Deepak, Hriţcu, Cătălin, Patrignani, Marco, Tanter, Éric, Thibault, Jérémy

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Eager Functions as Processes

    Eager Functions as Processes by Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Divergence and unique solution of equations

    Divergence and unique solution of equations by Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Eager Functions as Processes (long version)

    Eager Functions as Processes (long version) by Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

    SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation by El-Korashy, Akram, Blanco, Roberto, Thibault, Jérémy, Durier, Adrien, Garg, Deepak, Hritcu, Catalin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Trace-Relating Compiler Correctness and Secure Compilation

    Trace-Relating Compiler Correctness and Secure Compilation by Abate, Carmine, Blanco, Roberto, Ciobaca, Stefan, Durier, Adrien, Garg, Deepak, Hritcu, Catalin, Patrignani, Marco, Tanter, Éric, Thibault, Jérémy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: