Graz University of Technology Graz Austria

  1. Home
  2. search page
  3. affiliation

Graz University of Technology Graz Austria

국가: Austria
주요 연구 분야: Verification
주요 키워드: #algorithms #encryption #cryptographic
주요 저자:
#Mario Werner #Claudio Canella #Daniel Gruss #Michael Schwarz #Pascal Nasahl

📄 기관 상세정보

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

논문 목록 (12건)

b4M: Holistic Benchmarking for MPC
저자: Karl W. Koch , Christian Rechberger , Dragos Rotaru
키워드: #holistic #challenges #benchmarking #b4m #holistically
파트: Software Development | 연도: 2025
Secure and Efficient Outsourced Matrix Multiplication with Homomorphic Encryption
저자: Aikata Aikata , Sujoy Sinha Roy
키워드: #neural #encryption #ciphertexts #keyswitching #keyswitch
파트: Cryptography | 연도: 2024
Hiding Your Awful Online Choices Made More Efficient and Secure: A New Privacy-Aware Recommender System
저자: Shibam Mukherjee , Roman Walch , Fredrik Meisingseth , Elisabeth Lex , Christian Rechberger
키워드: #algorithms #encryption #party #online #cryptographic
파트: Cryptography | 연도: 2024
On Threat Model Repair
저자: Roderick Bloem , Sebastian Chlup , Dejan Ničković , Christoph Schmittner
키워드: #development #modeling #mitigation #repair #construction
파트: Safety | 연도: 2024
A Framework for Improving Portability and Ensuring Correctness of Operating System Kernels
저자: Vignesh Manjunath , Marcel Baunach
키워드: #challenges #difficult #complexity #automating #upgraded
파트: Verification | 연도: 2024
A framework for embedded software portability and verification: from formal models to low-level code
저자: Marcel Baunach , Renata Martins Gomes , Bernhard Aichernig
키워드: #challenge #manual #rigorous #software #hardware
파트: Verification | 연도: 2024
Making Alice Appear Like Bob: A Probabilistic Preference Obfuscation Method For Implicit Feedback Recommendation Models
저자: Gustavo Escobedo , Marta Moscati , Peter Muellner , Simone Kopeinik , Dominik Kowald , Elisabeth Lex , Markus Schedl
키워드: #probabilistic #attackers #leakage #malicious #stereotypes
파트: Analysis | 연도: 2024
Formal Verification of Arithmetic Masking in Hardware and Software
저자: Barbara Gigerl , Robert Primas , Stefan Mangard
키워드: #algorithms #countermeasure #quantum #cryptography #cryptographic
파트: Verification | 연도: 2023
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems
저자: Saddek Bensalem , Panagiotis Katsaros , Dejan Ničković , Brian Hsuan-Cheng Liao , Ricardo Ruiz Nolasco , Mohamed Abd El Salam Ahmed , Tewodros A. Beyene , Filip Cano , Antoine Delacourt , Hasan Esen , Alexandru Forrai , Weicheng He , Xiaowei Huang , Nikolaos Kekatos , Bettina Könighofer , Michael Paulitsch , Doron Peled , Matthieu Ponchant , Lev Sorokin , Son Tong , Changshun Wu
키워드: #learning #engineering #simulation #testing #workflowsfor
파트: Software Development | 연도: 2023
A framework for OS portability: from formal models to low-level code
저자: Marcel Baunach , Renata Martins Gomes
키워드: #inconsistencies #developers #software #manually #errors
파트: Verification | 연도: 2022