Activities per year
Activities
- 1,150 - 1,200 out of 1,224 results
Search results
-
Extending Expressive Access Policies with Privacy Features
Stefan Josef More (Speaker) & Sebastian Ramacher (Contributor)
Nov 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Power Contracts: Provably Complete Power Leakage Models for Processors
Vedad Hadzic (Speaker)
10 Nov 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
SECRYPT
Stefan Josef More (Visitor)
10 Jul 2022 → 14 Jul 2022Activity: Visiting an external academic institution › Research at external institution
-
Influence of the Linear Layer on the Algebraic Degree in SP-Networks
Reinhard Lüftenegger (Speaker)
20 Mar 2022 → 25 Mar 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Reactive Synthesis Modulo Theories using Abstraction Refinement
Benedikt Maderbacher (Speaker)
21 Oct 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
EU initiatives on eID and eHealth
Herbert Leitold (Speaker)
29 Jun 2022Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Medha: Microcoded Hardware Accelerator for computing on Encrypted Data
Ahmet Can Mert (Speaker)
12 Sept 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
-
AT Experience on Certification
Herbert Leitold (Speaker)
19 Apr 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Formal Verification of Arithmetic Masking in Hardware and Software
Barbara Gigerl (Speaker)
20 Jun 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Trust Scheme Interoperability: Connecting Heterogeneous Trust Schemes
Stefan Josef More (Speaker)
29 Aug 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
-
ID Austria Relation zu EU-Initiativen
Herbert Leitold (Speaker)
8 May 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
eID Powers and Mandates in Austria
Herbert Leitold (Speaker)
15 Mar 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Hardware for PQC
Aikata Aikata (Speaker)
25 Jan 2023Activity: Talk or presentation › Invited talk › Science to public
-
-
Towards a Mobile-First Cross-Border eID Framework
Roland Czerny (Speaker)
13 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Neuer E-ID: Weiterentwicklung der Bürgerkarte/Handy-Signatur
Arne Tauber (Speaker)
7 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
Reactive Synthesis of Cyber-Physical Systems
Benedikt Maderbacher (Speaker)
11 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
SQUIP or Why We Need to Study Processors Like Nature
Stefan Gast (Speaker) & Daniel Gruss (Speaker)
11 May 2023Activity: Talk or presentation › Talk at conference or symposium › Science to public
-
SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flow Attacks on OpenTitan
Pascal Nasahl (Speaker)
5 Jun 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
Pascal Nasahl (Visitor)
1 May 2023 → 4 May 2023Activity: Visiting an external academic institution › Research at external institution
-
Österreichische Strategie Cybersicherheit
Herbert Leitold (Speaker)
7 Jun 2023Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
Sorbonne University
Benedikt Maderbacher (Visitor)
22 Apr 2023 → 27 Apr 2023Activity: Visiting an external academic institution › Research at external institution
-
Cryptographically Enforced Memory Safety
Martin Unterguggenberger (Speaker)
26 Nov 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Scatter and Split Securely: Defeating Cache Contention and Occupancy Attacks
Lukas Giner (Speaker)
23 May 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Secure Context Switching of Masked Software Implementations
Barbara Gigerl (Speaker)
14 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Formal Methods for Trusted AI
Bettina Könighofer (Speaker)
25 Oct 2023Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
SPEAR-V: Secure and Practical Enclave Architecture for RISC-V
Martin Unterguggenberger (Speaker)
12 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Radboud University Nijmegen
Stefan Pranger (Visitor)
2 Apr 2023 → 7 Apr 2023Activity: Visiting an external academic institution › Research at external institution
-
-
CSI:Rowhammer - Cryptographic Security and Integrity against Rowhammer
Jonas Juffinger (Speaker)
2 Nov 2023 → 3 Nov 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
-
-
Easy-to-Use Shield Synthesis for RL with Tempest
Stefan Pranger (Speaker)
18 Jul 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
The importance of FHE for preserving privacy
Aikata Aikata (Speaker)
23 Jun 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to public
-
SCFI: State Machine Control-Flow Hardening Against Fault Attacks
Pascal Nasahl (Speaker)
19 Apr 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
ACM Great Lakes Symposium on VLSI
Pascal Nasahl (Visitor)
5 Jun 2023 → 7 Jun 2023Activity: Visiting an external academic institution › Research at external institution
-
Stand eIDAS Revision und EUDI
Herbert Leitold (Speaker)
23 Mar 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks
Pascal Nasahl (Speaker)
2 May 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Von ID Austria und Ausweisplattform hin zu einem EU-Wallet
Arne Tauber (Speaker)
20 Apr 2023Activity: Talk or presentation › Invited talk › Science to public
-
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
Filip Cano Cordoba (Speaker)
11 Oct 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Mathematical Background: Polynomial Rings, Polynomial Arithmetic, Number Theoretic Transform
Ahmet Can Mert (Speaker)
28 Aug 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to public
-
Verification of Fault Resistance in Hardware Designs
Vedad Hadzic (Speaker)
13 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Safety Shielding under Delayed Observation
Filip Cano Cordoba (Speaker)
12 Jul 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A2P2 - An Android Application Patching Pipeline Based On Generic Changesets
Florian Draschbacher (Speaker)
31 Aug 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Tallinn University of Technology
Aikata Aikata (Visitor)
27 Apr 2023 → 11 May 2023Activity: Visiting an external academic institution › Research at external INLAND institution
-
European Commission
Stefan Josef More (Visitor)
6 Feb 2023 → 8 Jun 2023Activity: Visiting an external academic institution › Research at external institution
-
The 18th International Conference on Availability, Reliability and Security (Event)
Stefan Josef More (Peer reviewer)
Jun 2023Activity: Publication peer-review or editorial work › Peer review of manuscripts
-