Explore projects

I

infosec / InfoSec 2023 Material

0

Updated Nov 24, 2023

0 0 0 0

Updated Nov 24, 2023
I

scos / ijtihad
Other

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

2

Updated Mar 06, 2019

2 0 0 0

Updated Mar 06, 2019
I

sesys / iaik-open-flow / ibex-verilog
Apache License 2.0

0

Updated Feb 18, 2024

0 0 0 0

Updated Feb 18, 2024
E

sase / practicals / 2024 / exercise2024-upstream

0

Updated Oct 10, 2024

0 0 0 0

Updated Oct 10, 2024
E

sase / practicals / 2023 / exercise2023-demos

0

Updated Oct 25, 2023

0 0 0 0

Updated Oct 25, 2023
E

CON / examples-2024

0

Updated Oct 09, 2024

0 0 0 0

Updated Oct 09, 2024
E

CON / examples-2022

0

Updated Nov 16, 2022

0 0 0 0

Updated Nov 16, 2022
E

CON / examples

Code examples for the lecture

1

Updated Nov 15, 2019

1 0

Updated Nov 15, 2019
E

conan / ELFIO
MIT License

0

Updated Jun 02, 2021

0 0 0 0

Updated Jun 02, 2021
D

sesys / DOPE

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
C

CON / CON KU 2024 - Upstream

0

Updated Oct 09, 2024

0 0 0 0

Updated Oct 09, 2024
C

CON / CON KU 2023 - Upstream

1

Updated Jan 17, 2024

1 0 0 0

Updated Jan 17, 2024
castle / student / templates / bachelor-thesis

Template GIT repo structure for IAIK bachelor's theses

https://www.iaik.tugraz.at/bachelor-thesis

1

Updated Feb 20, 2024

1 0 0 0

Updated Feb 20, 2024
A

krypto / Active Secure Geometric Sampler

0

Updated Dec 22, 2023

0 0 0 0

Updated Dec 22, 2023