External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

    Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code

    Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal. Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. Journal of the ACM, 71(1), 2024. [doi]

    Authors

    Aïna Linn Georges

    This author has not been identified. Look up 'Aïna Linn Georges' in Google

    Armaël Guéneau

    This author has not been identified. Look up 'Armaël Guéneau' in Google

    Thomas Van Strydonck

    This author has not been identified. Look up 'Thomas Van Strydonck' in Google

    Amin Timany

    This author has not been identified. It may be one of the following persons: Look up 'Amin Timany' in Google

    Alix Trieu

    This author has not been identified. Look up 'Alix Trieu' in Google

    Dominique Devriese

    This author has not been identified. Look up 'Dominique Devriese' in Google

    Lars Birkedal

    This author has not been identified. Look up 'Lars Birkedal' in Google
    runs on