Cristin-resultat-ID: 2269452
Sist endret: 19. mai 2024, 15:17
Resultat
Vitenskapelig foredrag
2024

A Career Haunted by Manuel: Verifying Against Host Manipulation

Bidragsytere:
  • James Griffin Wright og
  • Stephen D. Wolthusen

Presentasjon

Navn på arrangementet: Formal Methods for Secure Cyber-Physical Systems
Dato fra: 15. mars 2024

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2024

Beskrivelse Beskrivelse

Tittel

A Career Haunted by Manuel: Verifying Against Host Manipulation

Bidragsytere

James Griffin Wright

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet

Stephen D. Wolthusen

  • Tilknyttet:
    Forfatter
1 - 2 av 2