Stanford University USA

  1. Home
  2. search page
  3. affiliation

Stanford University USA

국가: United States
주요 연구 분야: Verification
주요 키워드: #encryption #unexplored #ciphertext
주요 저자:
#Mohamed Shelkamy Ali #Lucas Deutschmann #Johannes Müller #Anna Lena Duque Antón #Mohammad Rahmani Fadiheh

📄 기관 상세정보

출판수3
총 인용수95
평균 인용수31.67
저자 수19
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (3건)

Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification
저자: Mohamed Shelkamy Ali , Lucas Deutschmann , Johannes Müller , Anna Lena Duque Antón , Mohammad Rahmani Fadiheh , Dominik Stoffel , Wolfgang Kunz
키워드: #computing #accelerators #attacks #attackers #theft
파트: Verification | 연도: 2025
Porcupine: a synthesizing compiler for vectorized homomorphic encryption
저자: Meghan Cowan , Deeksha Dangwal , Armin Alaghi , Caroline Trippel , Vincent T Lee , Brandon Reagen
키워드: #encryption #unexplored #ciphertext #encrypted #decryption
파트: Cryptography | 연도: 2021
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors
저자: Wolfgang Kunz , Dominik Stoffel , Mohammad Rahmani Fadiheh , Johannes Müller , Raik Brinkmann , Subhasish Mitra
키워드: #attack #countermeasures #alarm #processors #meltdown
파트: Verification | 연도: 2020