EPFL Switzerland

  1. Home
  2. search page
  3. affiliation

EPFL Switzerland

국가: Switzerland
주요 연구 분야: Verification
주요 키워드: #vulnerabilities #suffer #trustworthiness
주요 저자:
#Roshan Dathathri #Blagovesta Kostova #Olli Saarikivi #Wei Dai #Kim Laine

📄 기관 상세정보

출판수5
총 인용수104
평균 인용수20.80
저자 수26
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (5건)

Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet
저자: Charly Castes , François Costa , Nate Foster , Thomas Bourgeat , Edouard Bugnion
키워드: #computing #huge #essential #experts #hypervisors
파트: Verification | 연도: 2025
Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor
저자: Charly Castes , Edouard Bugnion , Neelu S Kalani , Sofia Saltovskaia , Noé Terrier , Abel Vexina Wilkinson
키워드: #virtualization #decades #firmware #chipset #isolating
파트: Verification | 연도: 2024
Designing a Provenance Analysis for SGX Enclaves
저자: Lorenzo Cavallaro , Flavio Toffalini , Mathias Payer , Jianying Zhou
키워드: #vulnerabilities #suffer #trustworthiness #compromised #adversaries
파트: Strategies | 연도: 2022
Minerva: browser API fuzzing with dynamic mod-ref analysis
저자: Mathias Payer , Yu Jiang , Chijin Zhou , Quan Zhang , Mingzhe Wang , Lihua Guo , Jie Liang , Zhe Liu
키워드: #vulnerabilities #complexity #browser #fuzzing #browsers
파트: Analysis | 연도: 2022
EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation
저자: Roshan Dathathri , Blagovesta Kostova , Olli Saarikivi , Wei Dai , Kim Laine , Madanlal Musuvathi
키워드: #efficient #expert #encryption #powerful #cryptographic
파트: Cryptography | 연도: 2020