Explore projects

View MPC-Zoo project

krypto / MPC-Zoo

0

Updated Feb 23, 2023

0 0 0 0

Updated Feb 23, 2023
View examples-2022 project

CON / examples-2022

0

Updated Nov 16, 2022

0 0 0 0

Updated Nov 16, 2022
View zybo_base_design project

SoC2019 / zybo_base_design

0

Updated Oct 07, 2019

0 1 0 0

Updated Oct 07, 2019
View SCRAMBLE-CFI LLVM Compiler project

sesys / SCRAMBLE-CFI LLVM Compiler

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
View DOPE project

sesys / DOPE

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
View ibex-verilog project

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

0

Updated Feb 18, 2024

0 0 0 0

Updated Feb 18, 2024
View RV20 Fault Injection Checks project

scos / RV20 Fault Injection Checks

0

Updated Aug 28, 2020

0 0 0 0

Updated Aug 28, 2020
View Lattice ZK project

public-shared / Lattice ZK

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
View s-kad project

Bernd Pruenster / s-kad
European Union Public License 1.2

0

Updated Nov 06, 2019

0 0 0 0

Updated Nov 06, 2019
View Backward project

conan / Backward
MIT License

0

Updated Jun 02, 2021

0 0 0 0

Updated Jun 02, 2021
View akdv2016 project

scos / akdv2016
MIT License

Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.

0

Updated May 24, 2016

0 0 0 0

Updated May 24, 2016
View Distributed Event System project

A-SIT / Distributed Event System
European Union Public License 1.2

0

Updated Oct 30, 2019

0 0 0 0

Updated Oct 30, 2019
View A2P2 project

Florian Draschbacher / A2P2
GNU General Public License v3.0 only

0

Updated Dec 12, 2023

0 0 0 0

Updated Dec 12, 2023
View Rang project

conan / Rang
The Unlicense

0

Updated Jun 02, 2021

0 0 0 0

Updated Jun 02, 2021
View upstream2021 project

pets / upstream2021

0

Updated Dec 06, 2021

0 0 0

Updated Dec 06, 2021
View open-flow-asic project

sesys / iaik-open-flow / open-flow-asic
Apache License 2.0

0

Updated Mar 04, 2024

0 0 0 0

Updated Mar 04, 2024
View vm-provisioning project

CON / vm-provisioning

Automated VM and Docker container provisioning for the CON course

0

Updated Sep 10, 2024

0 0

Updated Sep 10, 2024
View practicals-2020 project

CON / practicals-2020

Upstream Git Repository for Computer Organization and Networks Practicals 2020/21

0

Updated Dec 27, 2020

0 0 0 0

Updated Dec 27, 2020
View p2p-thesis project

Bernd Pruenster / p2p-thesis

0

Updated Aug 08, 2018

0 0 0 0

Updated Aug 08, 2018
View open-flow-template project

sesys / iaik-open-flow / open-flow-template

0

Updated May 07, 2025

0 0 0 0

Updated May 07, 2025