ETH Zürich Switzerland

  1. Home
  2. search page
  3. affiliation

ETH Zürich Switzerland

국가: Ethiopia
주요 연구 분야: Verification
주요 키워드: #quantum #algorithms #algorithmic
주요 저자:
#Thomas Häner #Damian S Steiger #Torsten Hoefler #Matthias Troyer #Dennis Moreau

📄 기관 상세정보

출판수6
총 인용수39
평균 인용수6.50
저자 수32
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (6건)

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
Hybrid Post-quantum Signatures in Hardware Security Keys
저자: Diana Ghinea , Fabian Kaczmarczyck , Jennifer Pullman , Julien Cretin , Stefan Kölbl , Rafael Misoczki , Jean-Michel Picod , Luca Invernizzi , Elie Bursztein
키워드: #quantum #cryptography #upgrade #cryptosystems #jeopardizing
파트: Cryptography | 연도: 2023
SealClub: Computer-aided Paper Document Authentication
저자: Ochoa Martín , Vanegas Hernán , Toro Pozo Jorge , Basin David
키워드: #algorithm #graphics #novel #cryptographic #smartphones
파트: Analysis | 연도: 2023
Where Is the Research on Cryptographic Transition and Agility?
저자: Dennis Moreau , Kenneth G Paterson , David E Ott
키워드: #algorithms #quantum #industry #standardization #closer
파트: Verification | 연도: 2023
AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware
저자: Marcelo Orenes-Vera , Hyunsung Yun , Nils Wistoff , Gernot Heiser , Luca Benini , David Wentzlaff , Margaret Martonosi
키워드: #vulnerabilities #security #accelerators #leakage #explosion
파트: Verification | 연도: 2023
Distributed quantum computing with QMPI
저자: Thomas Häner , Damian S Steiger , Torsten Hoefler , Matthias Troyer
키워드: #algorithms #algorithmic #quantum #chemistry #physics
파트: Cryptography | 연도: 2021