├── .dockerignore ├── .gitignore ├── Dockerfile ├── LICENSE ├── README.md ├── case-studies ├── 01-verica │ ├── Toffoli │ │ ├── aes-104 │ │ │ ├── aes-104.nl │ │ │ ├── verica_probing_k0.json │ │ │ ├── verica_probing_k1.json │ │ │ └── verica_sifa_k1.json │ │ ├── aes-full │ │ │ ├── aes-full.nl │ │ │ ├── verica_probing_k0.json │ │ │ ├── verica_probing_k1.json │ │ │ ├── verica_sifa_k1.json │ │ │ └── verica_sifa_k2.json │ │ ├── chi3 │ │ │ ├── annotations.json │ │ │ ├── chi3.v │ │ │ ├── verica_probing_k0.json │ │ │ ├── verica_probing_k1.json │ │ │ ├── verica_probing_k2.json │ │ │ └── verica_sifa_k2.json │ │ ├── chi5 │ │ │ ├── annotations.json │ │ │ ├── chi3.v │ │ │ ├── chi5.v │ │ │ ├── verica_probing_k0.json │ │ │ ├── verica_probing_k1.json │ │ │ ├── verica_probing_k2.json │ │ │ ├── verica_sifa_k1.json │ │ │ └── verica_sifa_k2.json │ │ ├── toffoli-chi │ │ │ ├── annotations.json │ │ │ ├── toffoli-chi.v │ │ │ ├── verica_toffoli_probing_k0.json │ │ │ ├── verica_toffoli_probing_k1.json │ │ │ ├── verica_toffoli_probing_k2.json │ │ │ └── verica_toffoli_sifa_k1.json │ │ └── toffoli │ │ │ ├── annotations.json │ │ │ ├── toffoli.v │ │ │ ├── verica_toffoli_probing_k0.json │ │ │ ├── verica_toffoli_probing_k1.json │ │ │ ├── verica_toffoli_probing_k2.json │ │ │ ├── verica_toffoli_sifa_k1.json │ │ │ └── verica_toffoli_sifa_k2.json │ ├── nina │ │ ├── and_sinina │ │ │ ├── d1_k1 │ │ │ │ ├── and_sinina_d1_k1.v │ │ │ │ ├── annotations.json │ │ │ │ ├── verica_sinina.json │ │ │ │ ├── verica_sna.json │ │ │ │ └── verica_sni.json │ │ │ ├── d1_k2 │ │ │ │ ├── and_sinina_d1_k2.v │ │ │ │ ├── annotations.json │ │ │ │ ├── verica_sinina.json │ │ │ │ ├── verica_sna.json │ │ │ │ └── verica_sni.json │ │ │ ├── d2_k1 │ │ │ │ ├── and_sinina_d2_k1.v │ │ │ │ ├── annotations.json │ │ │ │ ├── verica_sinina.json │ │ │ │ ├── verica_sna.json │ │ │ │ └── verica_sni.json │ │ │ └── d2_k2 │ │ │ │ ├── and_sinina_d2_k2.v │ │ │ │ ├── annotations.json │ │ │ │ ├── verica_sinina.json │ │ │ │ ├── verica_sna.json │ │ │ │ └── verica_sni.json │ │ ├── and_snina │ │ │ ├── d1_k1 │ │ │ │ ├── and_snina_d1_k1.v │ │ │ │ ├── annotations.json │ │ │ │ ├── verica_sna.json │ │ │ │ ├── verica_sni.json │ │ │ │ └── verica_snina.json │ │ │ ├── d1_k2 │ │ │ │ ├── and_snina_d1_k2.v │ │ │ │ ├── annotations.json │ │ │ │ ├── verica_sna.json │ │ │ │ ├── verica_sni.json │ │ │ │ └── verica_snina.json │ │ │ ├── d2_k1 │ │ │ │ ├── and_snina_d2_k1.v │ │ │ │ ├── annotations.json │ │ │ │ ├── verica_sna.json │ │ │ │ ├── verica_sni.json │ │ │ │ └── verica_snina.json │ │ │ └── d2_k2 │ │ │ │ ├── and_snina_d2_k2.v │ │ │ │ ├── annotations.json │ │ │ │ ├── verica_sna.json │ │ │ │ ├── verica_sni.json │ │ │ │ └── verica_snina.json │ │ └── xor_nina │ │ │ ├── d1_k1 │ │ │ ├── annotations.json │ │ │ ├── verica_na.json │ │ │ ├── verica_ni.json │ │ │ ├── verica_nina.json │ │ │ └── xor_nina_d1_k1.v │ │ │ ├── d1_k2 │ │ │ ├── annotations.json │ │ │ ├── verica_na.json │ │ │ ├── verica_ni.json │ │ │ ├── verica_nina.json │ │ │ └── xor_nina_d1_k2.v │ │ │ ├── d2_k1 │ │ │ ├── annotations.json │ │ │ ├── verica_na.json │ │ │ ├── verica_ni.json │ │ │ ├── verica_nina.json │ │ │ └── xor_nina_d2_k1.v │ │ │ └── d2_k2 │ │ │ ├── annotations.json │ │ │ ├── verica_na.json │ │ │ ├── verica_ni.json │ │ │ ├── verica_nina.json │ │ │ └── xor_nina_d2_k2.v │ └── parti │ │ ├── correction │ │ ├── annotations.json │ │ ├── blacklist │ │ ├── sbox-present-ti-correction.v │ │ ├── verica_k1.json │ │ ├── verica_probing_k0.json │ │ └── verica_probing_k1.json │ │ └── detection │ │ ├── annotations.json │ │ ├── sbox-present-ti-detection.v │ │ ├── verica_k1.json │ │ ├── verica_probing_k0.json │ │ └── verica_probing_k1.json ├── 02-cini-insecure │ ├── cini-hpc1-rpt │ │ ├── cini3_and_d1_k1.rpt │ │ ├── cini3_and_d1_k2.rpt │ │ ├── cini3_and_d1_k3.rpt │ │ ├── cini3_and_d2_k1.rpt │ │ ├── cini3_and_d2_k2.rpt │ │ ├── cini3_and_d2_k3.rpt │ │ ├── cini3_and_d3_k1.rpt │ │ ├── cini3_and_d3_k2.rpt │ │ └── cini3_and_d3_k3.rpt │ ├── cini-hpc1-ver │ │ ├── annotations-cini3.json │ │ ├── cini3_and_d1_k1.v │ │ ├── cini3_and_d1_k2.v │ │ ├── cini3_and_d1_k3.v │ │ ├── cini3_and_d2_k1.v │ │ ├── cini3_and_d2_k2.v │ │ ├── cini3_and_d2_k3.v │ │ ├── cini3_and_d3_k1.v │ │ ├── cini3_and_d3_k2.v │ │ ├── verica_cini_d1_k1.json │ │ ├── verica_cini_d1_k2.json │ │ ├── verica_cini_d1_k3.json │ │ ├── verica_cini_d2_k1.json │ │ ├── verica_cini_d2_k2.json │ │ ├── verica_cini_d2_k3.json │ │ ├── verica_cini_d3_k1.json │ │ └── verica_cini_d3_k2.json │ ├── cini-hpc2-rpt │ │ ├── cini_d1_k1.rpt │ │ ├── cini_d1_k2.rpt │ │ ├── cini_d1_k3.rpt │ │ ├── cini_d2_k1.rpt │ │ ├── cini_d2_k2.rpt │ │ ├── cini_d2_k3.rpt │ │ ├── cini_d3_k1.rpt │ │ ├── cini_d3_k2.rpt │ │ └── cini_d3_k3.rpt │ ├── cini-hpc2-ver-tool │ │ ├── and_cini_d1_k1.v │ │ ├── and_cini_d1_k2.v │ │ ├── and_cini_d1_k3.v │ │ ├── and_cini_d2_k1.v │ │ ├── and_cini_d2_k2.v │ │ ├── and_cini_d2_k3.v │ │ ├── and_cini_d3_k1.v │ │ ├── annotations.json │ │ ├── verica_cini_d1_k1.json │ │ ├── verica_cini_d1_k2.json │ │ ├── verica_cini_d1_k3.json │ │ ├── verica_cini_d2_k1.json │ │ ├── verica_cini_d2_k2.json │ │ ├── verica_cini_d2_k3.json │ │ └── verica_cini_d3_k1.json │ ├── cini-hpc2-ver │ │ ├── annotations.json │ │ ├── cini_d1_k1.v │ │ ├── cini_d1_k2.v │ │ ├── cini_d2_k1.v │ │ ├── cini_d2_k2.v │ │ ├── cini_d3_k1.v │ │ ├── verica_icini_d1_k1.json │ │ ├── verica_icini_d1_k2.json │ │ ├── verica_icini_d2_k1.json │ │ ├── verica_icini_d2_k2.json │ │ └── verica_icini_d3_k1.json │ ├── fini │ │ ├── annotations.json │ │ ├── fini_and_1.v │ │ ├── fini_and_2.v │ │ ├── fini_and_3.v │ │ ├── fini_and_4.v │ │ ├── fini_correction_k1.v │ │ ├── fini_correction_k2.v │ │ ├── fini_correction_k3.v │ │ ├── fini_correction_k4.v │ │ ├── fini_detection_k1.v │ │ ├── fini_detection_k2.v │ │ ├── fini_detection_k3.v │ │ ├── fini_detection_k4.v │ │ ├── verica_fini_correction_k1.json │ │ ├── verica_fini_correction_k2.json │ │ ├── verica_fini_correction_k3.json │ │ ├── verica_fini_correction_k4.json │ │ ├── verica_fini_detection_k1.json │ │ ├── verica_fini_detection_k2.json │ │ ├── verica_fini_detection_k3.json │ │ ├── verica_fini_detection_k4.json │ │ ├── verica_fini_k1.json │ │ ├── verica_fini_k2.json │ │ ├── verica_fini_k3.json │ │ └── verica_fini_k4.json │ └── icini-hpc1-ver │ │ ├── annotations.json │ │ ├── icini_d1_k1.v │ │ ├── icini_d1_k2.v │ │ ├── icini_d1_k3.v │ │ ├── icini_d2_k1.v │ │ ├── icini_d2_k2.v │ │ ├── icini_d2_k3.v │ │ ├── icini_d3_k1.v │ │ ├── icini_d3_k2.v │ │ ├── icini_d3_k3.v │ │ ├── verica_icini_d1_k1.json │ │ ├── verica_icini_d1_k2.json │ │ ├── verica_icini_d1_k3.json │ │ ├── verica_icini_d2_k1.json │ │ ├── verica_icini_d2_k2.json │ │ ├── verica_icini_d2_k3.json │ │ ├── verica_icini_d3_k1.json │ │ ├── verica_icini_d3_k2.json │ │ └── verica_icini_d3_k3.json ├── 03-cpc-gadgets │ ├── cini-non-complete │ │ └── verica_cini_d2_k1.json │ ├── cini │ │ ├── verica_cini_d1_k1.json │ │ ├── verica_cini_d1_k2.json │ │ ├── verica_cini_d1_k3.json │ │ ├── verica_cini_d2_k1.json │ │ ├── verica_cini_d2_k2.json │ │ └── verica_cini_d3_k1.json │ └── original-gadgets │ │ ├── cini-ver │ │ ├── verica_cini_d1_k1.json │ │ ├── verica_cini_d1_k2.json │ │ ├── verica_cini_d1_k3.json │ │ ├── verica_cini_d2_k1.json │ │ └── verica_cini_d2_k2.json │ │ └── icini-ver │ │ ├── verica_icini_d1_k1.json │ │ ├── verica_icini_d1_k2.json │ │ ├── verica_icini_d1_k3.json │ │ └── verica_icini_d2_k1.json └── 04-fault-vulnerability │ ├── combined-analysis │ ├── ParTi_present_detection_probed.v │ ├── annotations_parti.json │ ├── annotations_parti_x0.json │ ├── annotations_parti_x1.json │ ├── annotations_parti_x2.json │ ├── annotations_parti_x3.json │ ├── config.json │ └── fia-whitelist │ ├── countermeasures │ ├── AesSbox_keyAdd.v │ ├── AesSbox_keyAdd_detection.v │ ├── PresentSbox_keyAdd.v │ ├── PresentSbox_keyAdd_correction.v │ ├── PresentSbox_keyAdd_detection.v │ ├── PresentSbox_keyAdd_detection_noFlag.v │ ├── PresentSbox_keyAdd_detection_sifaTest.v │ ├── PresentSbox_keyAdd_hpc2.v │ ├── PresentSbox_keyAdd_probSec.v │ ├── annotations_masking.json │ ├── annotations_normal.json │ ├── config.json │ └── fia-whitelist │ ├── dfa-normal │ ├── AesSbox_keyAdd.v │ ├── DefaultSbox_keyAdd.v │ ├── PresentSbox_keyAdd.v │ ├── annotations.json │ ├── config.json │ └── fia-whitelist │ ├── probabilistic-analysis │ ├── AesSbox_keyAdd.v │ ├── Toffoli_chi3_probed.v │ ├── annotations_aes.json │ ├── annotations_chi3.json │ ├── config.json │ └── fia-whitelist │ ├── sifa │ ├── Chi3_sharedToffoli_sifaTest.v │ ├── Chi5_sharedToffoli_sifaTest.v │ ├── IswMul_d1_sifaTest.v │ ├── IswMul_d1_sifaTest_opt.v │ ├── annotations.json │ ├── config.json │ └── fia-whitelist │ ├── stuck-at-key │ ├── KeyAddition_16bit.v │ ├── KeyAddition_4bit.v │ ├── KeyAddition_8bit.v │ ├── annotations.json │ ├── config.json │ └── fia-whitelist │ └── timing │ ├── config │ ├── annotations_aes.json │ ├── annotations_keccak.json │ ├── annotations_masking.json │ ├── annotations_present.json │ ├── config.json │ └── fia-whitelist │ └── designs │ ├── AesSbox_keyAdd.v │ ├── AesSbox_keyAdd_2times.v │ ├── AesSbox_keyAdd_correction.v │ ├── AesSbox_keyAdd_detection.v │ ├── AesSbox_keyAdd_hpc2.v │ ├── AesSbox_keyAdd_probSec.v │ ├── PresentSbox_keyAdd.v │ ├── PresentSbox_keyAdd_2times.v │ ├── PresentSbox_keyAdd_3times.v │ ├── PresentSbox_keyAdd_4times.v │ ├── PresentSbox_keyAdd_hpc2.v │ ├── PresentSbox_keyAdd_probSec.v │ ├── keccak_b25_r10_i1_o1.v │ ├── keccak_b25_r10_i2_o1.v │ └── keccak_b25_r10_i3_o1.v ├── cell ├── Instructions.txt └── nang45.txt ├── config ├── docker.json ├── verica-example.json └── verica.json ├── docker-compose.yml ├── docs └── doxygen.conf ├── dot └── .gitkeep ├── inc ├── Configuration.hpp ├── Environment.hpp ├── Service.hpp ├── analyzer │ ├── Analyzer.hpp │ ├── ConfigurationCombinable.hpp │ ├── ConfigurationComposability.hpp │ ├── ConfigurationFaultCorrection.hpp │ ├── ConfigurationFaultDetection.hpp │ ├── ConfigurationFaultSFA.hpp │ ├── ConfigurationFaultSIFA.hpp │ ├── ConfigurationFaultVulnerability.hpp │ ├── ConfigurationProbing.hpp │ ├── ConfigurationUniformity.hpp │ └── Strategy.hpp ├── composer │ └── NetlistComposer.hpp ├── config.hpp ├── context │ ├── CellLibrary.hpp │ ├── FaultLibrary.hpp │ ├── Logger.hpp │ ├── Settings.hpp │ └── State.hpp ├── cudd │ ├── cache.hpp │ ├── config.h │ ├── cudd.h │ ├── cuddInt.h │ ├── cuddObj.hh │ ├── cudd_ext.hpp │ ├── epd.h │ ├── mtr.h │ └── st.h ├── fault │ └── FaultTemplate.hpp ├── injector │ ├── Injector.hpp │ └── fault.hpp ├── netlist │ ├── CellTemplate.hpp │ ├── Module.hpp │ ├── Netlist.hpp │ ├── Pin.hpp │ ├── Wire.hpp │ └── factory │ │ ├── NetlistFactoryFirrtl.hpp │ │ └── NetlistFactoryVerilog.hpp ├── parser │ ├── ConfigurationFirrtl.hpp │ ├── ConfigurationLibrary.hpp │ ├── ConfigurationNetlist.hpp │ ├── ConfigurationVerilog.hpp │ ├── Parser.hpp │ ├── firrtl │ │ ├── GrammarFirrtl.hpp │ │ └── SkipperFirrtl.hpp │ └── verilog │ │ ├── GrammarVerilog.hpp │ │ └── SkipperVerilog.hpp ├── preprocessor │ ├── ConfigurationAnnotation.hpp │ ├── ConfigurationElaborate.hpp │ ├── ConfigurationFIA.hpp │ ├── ConfigurationFiltering.hpp │ ├── ConfigurationModelPostprocessing.hpp │ ├── ConfigurationMultithreading.hpp │ ├── ConfigurationSCA.hpp │ └── Preprocessor.hpp ├── unittest │ ├── FunctionalFIATest.hpp │ ├── TestConfigurationFailingProbes.hpp │ ├── TestConfigurationMXSecurity.hpp │ ├── TestConfigurations.hpp │ ├── TestEnvironment.hpp │ ├── TestEnvironmentCombined.hpp │ ├── TestEnvironmentSCA.hpp │ ├── TestInjector.hpp │ ├── checkSecurity.hpp │ └── test_utils.hpp ├── util.hpp └── visualization │ ├── ConfigurationGraphvizDot.hpp │ └── Visualizer.hpp ├── lib ├── libboost_program_options.so ├── libboost_program_options.so.1.71.0 ├── libboost_unit_test_framework.so ├── libboost_unit_test_framework.so.1.75.0 ├── libcudd-3.0.0.so.0 ├── libcudd-3.0.0.so.0.0.0 └── libcudd.so ├── log └── .gitkeep ├── makefile ├── model ├── annotations.json ├── bitflip.txt ├── fia-blacklist ├── fia-whitelist ├── identity.txt ├── laser.txt ├── reset.txt ├── sca-blacklist ├── sca-whitelist ├── set.txt ├── setreset.txt └── setresetflip.txt ├── src ├── Configuration.cpp ├── Environment.cpp ├── Service.cpp ├── analyzer │ ├── Analyzer.cpp │ ├── ConfigurationCombinable.cpp │ ├── ConfigurationComposability.cpp │ ├── ConfigurationFaultCorrection.cpp │ ├── ConfigurationFaultDetection.cpp │ ├── ConfigurationFaultSFA.cpp │ ├── ConfigurationFaultSIFA.cpp │ ├── ConfigurationFaultVulnerability.cpp │ ├── ConfigurationProbing.cpp │ └── ConfigurationUniformity.cpp ├── composer │ └── NetlistComposer.cpp ├── context │ ├── CellLibrary.cpp │ ├── FaultLibrary.cpp │ ├── Logger.cpp │ ├── Settings.cpp │ └── State.cpp ├── cudd │ ├── cache.cpp │ └── cudd_ext.cpp ├── injector │ └── Injector.cpp ├── netlist │ ├── Module.cpp │ ├── Netlist.cpp │ ├── Pin.cpp │ ├── Wire.cpp │ └── factory │ │ ├── NetlistFactoryFirrtl.cpp │ │ └── NetlistFactoryVerilog.cpp ├── parser │ ├── ConfigurationFirrtl.cpp │ ├── ConfigurationLibrary.cpp │ ├── ConfigurationNetlist.cpp │ ├── ConfigurationVerilog.cpp │ └── Parser.cpp ├── preprocessor │ ├── ConfigurationAnnotation.cpp │ ├── ConfigurationElaborate.cpp │ ├── ConfigurationFIA.cpp │ ├── ConfigurationFiltering.cpp │ ├── ConfigurationModelPostprocessing.cpp │ ├── ConfigurationMultithreading.cpp │ ├── ConfigurationSCA.cpp │ └── Preprocessor.cpp ├── verica.cpp └── visualization │ ├── ConfigurationGraphvizDot.cpp │ └── Visualizer.cpp ├── test ├── aes │ ├── aes.nl │ ├── aes_sbox.nl │ ├── aes_sbox_TI1.nl │ ├── aes_sbox_TI1.v │ ├── aes_sbox_TI1_modules.v │ ├── aes_sbox_cms1.nl │ ├── aes_sbox_dom1.nl │ └── aes_sbox_dom2.nl ├── case-study-nina │ ├── and_sinina_d1_k1.v │ ├── and_sinina_d1_k2.v │ ├── and_sinina_d2_k1.v │ ├── and_sinina_d2_k2.v │ ├── and_snina_d1_k1.v │ ├── and_snina_d1_k2.v │ ├── and_snina_d2_k1.v │ ├── and_snina_d2_k2.v │ ├── annotations.json │ ├── xor_nina_d1_k1.v │ ├── xor_nina_d1_k2.v │ ├── xor_nina_d2_k1.v │ └── xor_nina_d2_k2.v ├── case-study-parti │ ├── annotations.json │ ├── sbox-present-ti-correction.v │ └── sbox-present-ti-detection.v ├── case-study-toffoli │ ├── aes-104.nl │ ├── aes-full.nl │ ├── annotations.json │ ├── chi3.v │ ├── chi5.v │ ├── toffoli-chi.v │ └── toffoli.v ├── cini-insecure │ ├── hpc1 │ │ ├── annotations.json │ │ ├── cini_d1_k1.v │ │ ├── cini_d1_k2.v │ │ ├── cini_d1_k3.v │ │ ├── cini_d2_k1.v │ │ ├── cini_d2_k2.v │ │ ├── cini_d2_k3.v │ │ ├── cini_d3_k1.v │ │ ├── cini_d3_k2.v │ │ └── cini_d3_k3.v │ ├── hpc2 │ │ ├── annotations.json │ │ ├── cini_d1_k1.v │ │ ├── cini_d1_k2.v │ │ ├── cini_d1_k3.v │ │ ├── cini_d2_k1.v │ │ ├── cini_d2_k2.v │ │ ├── cini_d2_k3.v │ │ ├── cini_d3_k1.v │ │ ├── cini_d3_k2.v │ │ └── cini_d3_k3.v │ └── hpc3 │ │ ├── annotations.json │ │ ├── cini_hpc3_d1_k1.v │ │ ├── cini_hpc3_d1_k2.v │ │ ├── cini_hpc3_d1_k3.v │ │ ├── cini_hpc3_d2_k1.v │ │ ├── cini_hpc3_d2_k2.v │ │ ├── cini_hpc3_d2_k3.v │ │ ├── cini_hpc3_d3_k1.v │ │ ├── cini_hpc3_d3_k2.v │ │ └── cini_hpc3_d3_k3.v ├── cms │ └── cms3.nl ├── cpc-gadgets │ ├── cini │ │ ├── annotations.json │ │ ├── cini_hpc1_d1_k1_opt.v │ │ ├── cini_hpc1_d1_k2_opt.v │ │ ├── cini_hpc1_d1_k3_opt.v │ │ ├── cini_hpc1_d2_k1_opt.v │ │ ├── cini_hpc1_d2_k2_opt.v │ │ ├── cini_hpc1_d2_k3_opt.v │ │ ├── cini_hpc1_d3_k1_opt.v │ │ ├── cini_hpc1_d3_k2_opt.v │ │ └── cini_hpc1_d3_k3_opt.v │ └── non-complete │ │ ├── annotations-d2-k1.json │ │ ├── annotations-d2-k2.json │ │ ├── ncc-d2-k1.v │ │ ├── ncc-d2-k2.v │ │ └── ncc-d4-k2.v ├── dom │ ├── annotations.json │ ├── annotations_firrtl.json │ ├── dom-dep2.nl │ ├── dom0.v │ ├── dom1.lo.fir │ ├── dom1.nl │ ├── dom1.v │ ├── dom2.lo.fir │ ├── dom2.nl │ ├── dom2.v │ ├── dom3.lo.fir │ ├── dom3.nl │ ├── dom3.v │ ├── dom4.lo.fir │ ├── dom4.nl │ ├── dom4.v │ ├── domSNI1.nl │ ├── domSNI2.nl │ ├── domSNI3.nl │ └── domSNI4.nl ├── fini │ ├── annotations.json │ ├── fini_and_1.v │ ├── fini_and_2.v │ ├── fini_and_3.v │ ├── fini_and_4.v │ ├── fini_and_5.v │ ├── fini_correction_k1.v │ ├── fini_correction_k2.v │ ├── fini_correction_k3.v │ ├── fini_correction_k4.v │ ├── fini_correction_k5.v │ ├── fini_detection_k1.v │ ├── fini_detection_k2.v │ ├── fini_detection_k3.v │ ├── fini_detection_k4.v │ └── fini_detection_k5.v ├── hpc │ ├── hpc1_1.nl │ ├── hpc1_2.nl │ ├── hpc2_1.nl │ └── hpc2_2.nl ├── icini │ └── hpc1 │ │ ├── annotations.json │ │ ├── icini_d1_k1.v │ │ ├── icini_d1_k2.v │ │ ├── icini_d1_k3.v │ │ ├── icini_d2_k1.v │ │ ├── icini_d2_k2.v │ │ ├── icini_d2_k3.v │ │ ├── icini_d3_k1.v │ │ ├── icini_d3_k2.v │ │ └── icini_d3_k3.v ├── isw │ ├── isw1.nl │ ├── isw_sni_ref1.nl │ └── isw_sni_ref2.nl ├── linear │ ├── Ain.nl │ ├── Am.nl │ ├── Aout.nl │ ├── xor2.nl │ └── xor3.nl ├── midori │ ├── 18.1-midori_sbox_4regs_CMS1.nl │ ├── 18.2-midori_sbox_4regs_CMS1.nl │ ├── 19.1-midori_sbox_6regs_CMS1.nl │ ├── 19.2-midori_sbox_6regs_CMS1.nl │ ├── 20-midori_sbox_new_2regs.txt │ ├── 21-midori_sbox_new_4regs.txt │ └── midori_sbox_TI1.nl ├── para │ ├── para1.nl │ ├── para2.nl │ ├── para3.nl │ ├── para4.nl │ ├── paraSNI3.nl │ └── paraSNI4.nl ├── permutation │ ├── permutation_2_1.nl │ ├── permutation_2_2.nl │ ├── permutation_3_3.nl │ ├── permutation_4_4.nl │ ├── permutation_4_4_small.nl │ └── permutation_5_5_small.nl ├── pini │ ├── and2.nl │ ├── mulPINI1.nl │ └── mulPINI2.nl ├── present │ ├── present_1round.nl │ ├── present_2round.nl │ ├── present_2round_reg.nl │ ├── sbox.lo.fir │ ├── sharedSbox_non-uniform.nl │ ├── sharedSbox_non-uniform_F.nl │ ├── sharedSbox_non-uniform_G.nl │ ├── sharedSbox_uniform1.nl │ ├── sharedSbox_uniform1_F.nl │ ├── sharedSbox_uniform1_G.nl │ └── sharedSbox_uniform2.nl ├── prince │ ├── 22-prince_sinv_6regs_CMS1.nl │ ├── 23-prince_sinv_9regs_CMS1.nl │ ├── prince_sbox_TI1.nl │ └── prince_sbox_dusan_CMS1.nl ├── quadratic │ ├── q12.nl │ ├── q293.nl │ ├── q294.nl │ ├── q299.nl │ ├── q300.nl │ ├── q300FLAW.nl │ └── q4.nl ├── secure-gates │ ├── 10_aes_mux4_4SCA_FreshLevel3_noReg.nl │ ├── 1_aes_mux4_4SCA.nl │ ├── 1_aes_mux4_4SCA_v2.nl │ ├── 2_aes_mux4_4SCA_noRefresh.nl │ ├── 3_aes_mux4_4SCA_lessFresh_lessReg.nl │ ├── 4_aes_mux4_4SCA_noRefresh_lessFresh_lessReg.nl │ ├── 5_aes_mux4_4SCA_FreshLevel1_lessReg.nl │ ├── 6_aes_mux4_4SCA_noRefresh_FreshLevel1_lessReg.nl │ ├── 7_aes_mux4_4SCA_noRefresh_FreshLevel1.nl │ ├── 8_aes_mux4_4SCA_FreshLevel1.nl │ └── 9_aes_mux4_4SCA_FreshLevel3_lessReg.nl ├── skinny │ ├── skinny_sbox8_CMS1.nl │ └── skinny_sbox8_TI1.nl ├── uma │ ├── uma2.nl │ └── uma2_comp.nl └── uniformity │ ├── 24.1-midori_sbox_y2.nl │ ├── 24.2-midori_sbox_y2.nl │ ├── 24.3-midori_sbox_y2.nl │ ├── 25.1-midori_sbox_Q2.nl │ └── 25.2-midori_sbox_Q2.nl ├── testCoverage.sh └── unittests └── VERICA ├── Designs ├── Firrtl │ ├── empty.fir │ ├── trivialAddNot.fir │ └── trivialAddNotPreprocessed.fir ├── Netlist │ ├── compress.nl │ ├── compress_complex.nl │ ├── compress_expected.nl │ ├── compress_trivial.nl │ ├── compress_trivial_expected.nl │ ├── empty.nl │ ├── fia_fault_locations.nl │ ├── fia_reduced_fault_locations_example_paper.nl │ ├── fia_trivial.nl │ ├── no_input.nl │ ├── parse_remove_unused.nl │ ├── parse_trivial.nl │ ├── parser_error.nl │ ├── parser_error_input.nl │ └── undefined_pin_reference.nl ├── Verilog │ ├── empty.v │ ├── error_gate.v │ ├── error_pin.v │ ├── error_wire.v │ └── simple.v ├── cini-insecure │ ├── annotations.json │ ├── cini_d1_k1.v │ ├── cini_d1_k2.v │ ├── cini_d2_k1.v │ └── cini_d2_k2.v ├── cini │ ├── annotations.json │ ├── cini_hpc1_d1_k1_opt.v │ ├── cini_hpc1_d1_k2_opt.v │ ├── cini_hpc1_d1_k3_opt.v │ ├── cini_hpc1_d2_k1_opt.v │ ├── cini_hpc1_d2_k2_opt.v │ ├── cini_hpc1_d2_k3_opt.v │ ├── cini_hpc1_d3_k1_opt.v │ ├── cini_hpc1_d3_k2_opt.v │ └── cini_hpc1_d3_k3_opt.v ├── cms3 │ ├── annotations.json │ └── cms3.v ├── craft-1round-correction │ ├── CRAFT_1bitCorrection_3bitRedSize.v │ └── annotations.json ├── craft-1round │ ├── annotations.json │ ├── craft-1round-1bit.v │ ├── craft-1round-3bit.v │ └── craft-1round-4bit.v ├── dom │ ├── annotations.json │ ├── annotations_firrtl.json │ ├── dom-dep2.nl │ ├── dom0.v │ ├── dom1.lo.fir │ ├── dom1.nl │ ├── dom1.v │ ├── dom2.lo.fir │ ├── dom2.nl │ ├── dom2.v │ ├── dom3.lo.fir │ ├── dom3.nl │ ├── dom3.v │ ├── dom4.lo.fir │ ├── dom4.nl │ ├── dom4.v │ ├── domSNI1.nl │ ├── domSNI2.nl │ ├── domSNI3.nl │ └── domSNI4.nl ├── dom2-dep-insecure │ ├── annotations.json │ └── dom_dep_insecure.v ├── dom2-dep │ ├── annotations.json │ └── dom-dep.v ├── hpc │ ├── and-hpc1-d1.v │ ├── and-hpc1-d2.v │ ├── and-hpc2-d1.v │ ├── and-hpc2-d2.v │ └── annotations.json ├── pini │ ├── annotations.json │ └── mulPINI1.v ├── uma │ ├── annotations.json │ ├── uma_d1.v │ ├── uma_d2.v │ ├── uma_d3.v │ └── uma_d4.v └── uma2 │ ├── annotations.json │ └── uma2.v ├── EnvironmentTest.cpp ├── Injector └── InjectorTest.cpp ├── Parser ├── ConfigurationFirrtlTest.cpp ├── ConfigurationLibraryTest.cpp ├── ConfigurationNetlistTest.cpp └── ConfigurationVerilogTest.cpp ├── Preprocessor ├── Elaboration │ ├── ElaborationTest.cpp │ └── MaskingTest.cpp ├── FIATest.cpp └── FilteringTest.cpp ├── Runner.cpp ├── analyzer ├── ConfigurationComposabilitCombinedTest.cpp ├── ConfigurationComposabilityTest.cpp ├── ConfigurationFaultCorrectionTest.cpp ├── ConfigurationFaultDetectionTest.cpp ├── ConfigurationProbingTest.cpp ├── FunctionalFIATest.cpp ├── TestConfigurationFailingProbes.cpp └── TestConfigurationMXSecurity.cpp ├── auxiliary ├── TestEnvironment.cpp └── TestInjector.cpp ├── cell ├── ErroneousLibraryNumBoolExp.txt ├── ErroneousLibraryNumInput.txt ├── ErroneousLibraryNumOutput.txt ├── ErroneousLibraryNumVariant.txt ├── ErroneousLibraryRedundantGateName.txt ├── ErroneousLibraryUnsupportedGadget.txt ├── Instructions.txt ├── Library.txt └── ReversedOrderLibrary.txt ├── config ├── Analyzer │ ├── ConfigurationComposability │ │ ├── combined │ │ │ ├── cpc1-cini-d1k1 │ │ │ │ ├── answers.json │ │ │ │ ├── failFIAk.json │ │ │ │ ├── failSCAd.json │ │ │ │ └── pass.json │ │ │ ├── cpc1-cini-d1k2 │ │ │ │ ├── answers.json │ │ │ │ ├── failFIAk.json │ │ │ │ ├── failSCAd.json │ │ │ │ └── pass.json │ │ │ ├── cpc1-cini-d1k3 │ │ │ │ ├── answers.json │ │ │ │ ├── toComplexfailFIAk.json │ │ │ │ ├── toComplexfailSCAd.json │ │ │ │ └── toComplexpass.json │ │ │ ├── cpc1-cini-d2k1 │ │ │ │ ├── answers.json │ │ │ │ ├── failFIAk.json │ │ │ │ ├── notComputedfailSCAd.json │ │ │ │ └── pass.json │ │ │ ├── cpc1-cini-d2k2 │ │ │ │ ├── answers.json │ │ │ │ ├── notComputedfailFIAk.json │ │ │ │ ├── pass.json │ │ │ │ └── toComplexfailSCAd.json │ │ │ ├── hpc1-cini-d1k1 │ │ │ │ └── pass.json │ │ │ ├── hpc1-cini-d1k2 │ │ │ │ └── pass.json │ │ │ ├── hpc1-cini-d2k1 │ │ │ │ ├── answers.json │ │ │ │ └── failSCAd.json │ │ │ ├── hpc1-cini-d2k2 │ │ │ │ ├── answers.json │ │ │ │ └── failSCAd.json │ │ │ └── toComplexcpc1-cini-d3k1 │ │ │ │ ├── answers.json │ │ │ │ ├── failFIAk.json │ │ │ │ ├── notComputedfailSCAd.json │ │ │ │ └── toComplexpass.json │ │ └── sideChannelTests │ │ │ ├── 0TODO-cms3_p-pini_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── 0TODO-cms3_p-pini_std │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── cms3_p-ni_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── cms3_p-ni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── cms3_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom1_p-ni_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom1_p-ni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom1_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── dom1_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom2-dep-insec_p-ni_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom2-dep-insec_p-ni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom2-dep-insec_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── dom2-dep-insec_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom2_p-ni_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom2_p-ni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom2_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── dom2_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom3_p-ni_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom3_p-ni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── dom3_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── dom3_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc1d1_p-pini_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc1d1_p-pini_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc1d1_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── hpc1d1_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc1d2_p-pini_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc1d2_p-pini_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc1d2_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── hpc1d2_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc2d1_p-pini_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc2d1_p-pini_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc2d1_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── hpc2d1_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc2d2_p-pini_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc2d2_p-pini_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── hpc2d2_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── hpc2d2_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── pini1_p-ni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── pini1_p-ni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── pini1_p-pini_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── pini1_p-pini_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── pini1_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── pini1_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── uma2_p-ni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── uma2_p-ni_std │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── uma2_p-pini_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── uma2_p-pini_std │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── uma2_p-sni_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── uma2_p-sni_std │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── uma_d2_p-ni_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── uma_d2_p-ni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ ├── uma_d2_p-pini_rob │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── uma_d2_p-pini_std │ │ │ ├── _pass.json │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── find.json │ │ │ ├── uma_d2_p-sni_rob │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ │ │ └── uma_d2_p-sni_std │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ ├── find.json │ │ │ └── pass.json │ ├── ConfigurationFaultCorrection │ │ └── craft-1round-correction-3bit │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── pass.json │ ├── ConfigurationFaultDetection │ │ ├── craft-1round-1bit │ │ │ ├── answers.json │ │ │ ├── fail.json │ │ │ └── pass.json │ │ └── craft-1round-3bit │ │ │ ├── answers.json │ │ │ ├── fail_to_big_for_local_test.json │ │ │ └── pass.json │ └── ConfigurationProbing │ │ ├── cms3_rob │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── cms3_std │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── dom0 │ │ ├── answers.json │ │ ├── fail.json │ │ └── find.json │ │ ├── dom1 │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── dom2-dep-insec_rob │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── dom2-dep-insec_std │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── dom2-dep_rob │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── dom2-dep_std │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── dom2 │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── dom3 │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── dom4_not_working_yet │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── pini1_rob │ │ ├── _pass.json │ │ ├── answers.json │ │ ├── fail.json │ │ └── find.json │ │ ├── pini1_std │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ ├── uma2_rob │ │ ├── _pass.json │ │ ├── answers.json │ │ ├── fail.json │ │ └── find.json │ │ ├── uma2_std │ │ ├── _pass.json │ │ ├── answers.json │ │ ├── fail.json │ │ └── find.json │ │ ├── uma_d2_rob │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json │ │ └── uma_d2_std │ │ ├── answers.json │ │ ├── fail.json │ │ ├── find.json │ │ └── pass.json ├── FIA │ ├── FaultLocations │ │ ├── cNoFilter.json │ │ ├── csBlacklist.json │ │ ├── csNoFilter.json │ │ ├── csWhitelist.json │ │ └── sNoFilter.json │ ├── complexityReduction.json │ ├── complexityReductionError.json │ ├── erroneousFaultType.json │ ├── erroneousGateIdentifier.json │ ├── highVariate.json │ ├── laserFaultMap.json │ └── trivial.json ├── Filtering │ ├── blacklistFilter.json │ ├── erroneousFilter.json │ ├── noFilter.json │ └── whitelistFilter.json ├── FirrtlParser │ ├── emptyFirrtl.json │ └── preprocess.json ├── LibraryParser │ ├── correctLibrary.json │ ├── erroneousLibraryNumBoolExp.json │ ├── erroneousLibraryNumInput.json │ ├── erroneousLibraryNumOutput.json │ ├── erroneousLibraryNumVariant.json │ ├── erroneousLibraryRedundantGateName.json │ ├── erroneousLibraryUnsupportedGadget.json │ └── reversedOrderLibrary.json ├── NetlistParser │ ├── emptyNetlist.json │ ├── erroneousGateNetlist.json │ ├── erroneousInputNetlist.json │ ├── missingInputNetlist.json │ ├── trivialNetlist.json │ └── undefined_pin_reference.json ├── VerilogParser │ ├── emptyVerilog.json │ ├── erroneousGateVerilog.json │ ├── erroneousPinVerilog.json │ ├── erroneousWireVerilog.json │ └── simpleVerilog.json └── test.json ├── knownAnswers.json ├── model ├── fia │ ├── bitflip.txt │ ├── craft │ │ ├── correction │ │ │ └── CRAFT_1bitCorrection_3bitRedSize_blacklist.txt │ │ └── detection │ │ │ ├── craft-1round-1bit_blacklist.txt │ │ │ └── craft-1round-3bit_blacklist.txt │ ├── customFaultLocationBlacklist │ ├── customFaultLocationWhitelist │ ├── erroneous_bitflip_fault_type.txt │ ├── erroneous_bitflip_gate_identifier.txt │ └── laser.txt └── filtering │ ├── blacklist │ └── whitelist ├── reports └── .gitkeep └── test_utils.cpp /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/.dockerignore -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/.gitignore -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/README.md -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-104/aes-104.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-104/aes-104.nl -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-104/verica_probing_k0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-104/verica_probing_k0.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-104/verica_probing_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-104/verica_probing_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-104/verica_sifa_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-104/verica_sifa_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-full/aes-full.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-full/aes-full.nl -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-full/verica_probing_k0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-full/verica_probing_k0.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-full/verica_probing_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-full/verica_probing_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-full/verica_sifa_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-full/verica_sifa_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/aes-full/verica_sifa_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/aes-full/verica_sifa_k2.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi3/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi3/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi3/chi3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi3/chi3.v -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi3/verica_probing_k0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi3/verica_probing_k0.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi3/verica_probing_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi3/verica_probing_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi3/verica_probing_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi3/verica_probing_k2.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi3/verica_sifa_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi3/verica_sifa_k2.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi5/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi5/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi5/chi3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi5/chi3.v -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi5/chi5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi5/chi5.v -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi5/verica_probing_k0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi5/verica_probing_k0.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi5/verica_probing_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi5/verica_probing_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi5/verica_probing_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi5/verica_probing_k2.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi5/verica_sifa_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi5/verica_sifa_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/chi5/verica_sifa_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/chi5/verica_sifa_k2.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli-chi/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli-chi/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli-chi/toffoli-chi.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli-chi/toffoli-chi.v -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli-chi/verica_toffoli_sifa_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli-chi/verica_toffoli_sifa_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli/toffoli.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli/toffoli.v -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli/verica_toffoli_probing_k0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli/verica_toffoli_probing_k0.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli/verica_toffoli_probing_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli/verica_toffoli_probing_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli/verica_toffoli_probing_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli/verica_toffoli_probing_k2.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli/verica_toffoli_sifa_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli/verica_toffoli_sifa_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/Toffoli/toffoli/verica_toffoli_sifa_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/Toffoli/toffoli/verica_toffoli_sifa_k2.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k1/and_sinina_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k1/and_sinina_d1_k1.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k1/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k1/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k1/verica_sinina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k1/verica_sinina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k1/verica_sna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k1/verica_sna.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k1/verica_sni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k1/verica_sni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k2/and_sinina_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k2/and_sinina_d1_k2.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k2/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k2/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k2/verica_sinina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k2/verica_sinina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k2/verica_sna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k2/verica_sna.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d1_k2/verica_sni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d1_k2/verica_sni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k1/and_sinina_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k1/and_sinina_d2_k1.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k1/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k1/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k1/verica_sinina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k1/verica_sinina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k1/verica_sna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k1/verica_sna.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k1/verica_sni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k1/verica_sni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k2/and_sinina_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k2/and_sinina_d2_k2.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k2/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k2/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k2/verica_sinina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k2/verica_sinina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k2/verica_sna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k2/verica_sna.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_sinina/d2_k2/verica_sni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_sinina/d2_k2/verica_sni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k1/and_snina_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k1/and_snina_d1_k1.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k1/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k1/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k1/verica_sna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k1/verica_sna.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k1/verica_sni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k1/verica_sni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k1/verica_snina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k1/verica_snina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k2/and_snina_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k2/and_snina_d1_k2.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k2/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k2/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k2/verica_sna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k2/verica_sna.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k2/verica_sni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k2/verica_sni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d1_k2/verica_snina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d1_k2/verica_snina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k1/and_snina_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k1/and_snina_d2_k1.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k1/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k1/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k1/verica_sna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k1/verica_sna.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k1/verica_sni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k1/verica_sni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k1/verica_snina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k1/verica_snina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k2/and_snina_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k2/and_snina_d2_k2.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k2/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k2/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k2/verica_sna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k2/verica_sna.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k2/verica_sni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k2/verica_sni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/and_snina/d2_k2/verica_snina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/and_snina/d2_k2/verica_snina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k1/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k1/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k1/verica_na.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k1/verica_na.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k1/verica_ni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k1/verica_ni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k1/verica_nina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k1/verica_nina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k1/xor_nina_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k1/xor_nina_d1_k1.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k2/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k2/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k2/verica_na.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k2/verica_na.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k2/verica_ni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k2/verica_ni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k2/verica_nina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k2/verica_nina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d1_k2/xor_nina_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d1_k2/xor_nina_d1_k2.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k1/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k1/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k1/verica_na.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k1/verica_na.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k1/verica_ni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k1/verica_ni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k1/verica_nina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k1/verica_nina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k1/xor_nina_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k1/xor_nina_d2_k1.v -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k2/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k2/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k2/verica_na.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k2/verica_na.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k2/verica_ni.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k2/verica_ni.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k2/verica_nina.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k2/verica_nina.json -------------------------------------------------------------------------------- /case-studies/01-verica/nina/xor_nina/d2_k2/xor_nina_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/nina/xor_nina/d2_k2/xor_nina_d2_k2.v -------------------------------------------------------------------------------- /case-studies/01-verica/parti/correction/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/correction/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/parti/correction/blacklist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/correction/blacklist -------------------------------------------------------------------------------- /case-studies/01-verica/parti/correction/sbox-present-ti-correction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/correction/sbox-present-ti-correction.v -------------------------------------------------------------------------------- /case-studies/01-verica/parti/correction/verica_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/correction/verica_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/parti/correction/verica_probing_k0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/correction/verica_probing_k0.json -------------------------------------------------------------------------------- /case-studies/01-verica/parti/correction/verica_probing_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/correction/verica_probing_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/parti/detection/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/detection/annotations.json -------------------------------------------------------------------------------- /case-studies/01-verica/parti/detection/sbox-present-ti-detection.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/detection/sbox-present-ti-detection.v -------------------------------------------------------------------------------- /case-studies/01-verica/parti/detection/verica_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/detection/verica_k1.json -------------------------------------------------------------------------------- /case-studies/01-verica/parti/detection/verica_probing_k0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/detection/verica_probing_k0.json -------------------------------------------------------------------------------- /case-studies/01-verica/parti/detection/verica_probing_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/01-verica/parti/detection/verica_probing_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d1_k1.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d1_k1.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d1_k2.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d1_k2.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d1_k3.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d1_k3.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d2_k1.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d2_k1.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d2_k2.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d2_k2.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d2_k3.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d2_k3.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d3_k1.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d3_k1.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d3_k2.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d3_k2.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d3_k3.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-rpt/cini3_and_d3_k3.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/annotations-cini3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/annotations-cini3.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d1_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d1_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d1_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d1_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d2_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d2_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d2_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d2_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d3_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d3_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d3_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/cini3_and_d3_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d1_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d1_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d1_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d1_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d1_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d1_k3.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d2_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d2_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d2_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d2_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d2_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d2_k3.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d3_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d3_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d3_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc1-ver/verica_cini_d3_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d1_k1.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d1_k1.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d1_k2.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d1_k2.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d1_k3.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d1_k3.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d2_k1.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d2_k1.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d2_k2.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d2_k2.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d2_k3.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d2_k3.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d3_k1.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d3_k1.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d3_k2.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d3_k2.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d3_k3.rpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-rpt/cini_d3_k3.rpt -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d1_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d1_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d1_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d1_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d2_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d2_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d2_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d2_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d3_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver-tool/and_cini_d3_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver-tool/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver-tool/annotations.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/annotations.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/cini_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/cini_d1_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/cini_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/cini_d1_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/cini_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/cini_d2_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/cini_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/cini_d2_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/cini_d3_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/cini_d3_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d1_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d1_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d1_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d1_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d2_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d2_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d2_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d2_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d3_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/cini-hpc2-ver/verica_icini_d3_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/annotations.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_and_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_and_1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_and_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_and_2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_and_3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_and_3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_and_4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_and_4.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_correction_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_correction_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_correction_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_correction_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_correction_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_correction_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_correction_k4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_correction_k4.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_detection_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_detection_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_detection_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_detection_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_detection_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_detection_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/fini_detection_k4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/fini_detection_k4.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_correction_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_correction_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_correction_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_correction_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_correction_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_correction_k3.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_correction_k4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_correction_k4.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_detection_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_detection_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_detection_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_detection_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_detection_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_detection_k3.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_detection_k4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_detection_k4.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_k3.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/fini/verica_fini_k4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/fini/verica_fini_k4.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/annotations.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d1_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d1_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d1_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d1_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d2_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d2_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d2_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d2_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d3_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d3_k1.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d3_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d3_k2.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/icini_d3_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/icini_d3_k3.v -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d1_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d1_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d1_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d1_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d1_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d1_k3.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d2_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d2_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d2_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d2_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d2_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d2_k3.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d3_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d3_k1.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d3_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d3_k2.json -------------------------------------------------------------------------------- /case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d3_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/02-cini-insecure/icini-hpc1-ver/verica_icini_d3_k3.json -------------------------------------------------------------------------------- /case-studies/03-cpc-gadgets/cini-non-complete/verica_cini_d2_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/03-cpc-gadgets/cini-non-complete/verica_cini_d2_k1.json -------------------------------------------------------------------------------- /case-studies/03-cpc-gadgets/cini/verica_cini_d1_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/03-cpc-gadgets/cini/verica_cini_d1_k1.json -------------------------------------------------------------------------------- /case-studies/03-cpc-gadgets/cini/verica_cini_d1_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/03-cpc-gadgets/cini/verica_cini_d1_k2.json -------------------------------------------------------------------------------- /case-studies/03-cpc-gadgets/cini/verica_cini_d1_k3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/03-cpc-gadgets/cini/verica_cini_d1_k3.json -------------------------------------------------------------------------------- /case-studies/03-cpc-gadgets/cini/verica_cini_d2_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/03-cpc-gadgets/cini/verica_cini_d2_k1.json -------------------------------------------------------------------------------- /case-studies/03-cpc-gadgets/cini/verica_cini_d2_k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/03-cpc-gadgets/cini/verica_cini_d2_k2.json -------------------------------------------------------------------------------- /case-studies/03-cpc-gadgets/cini/verica_cini_d3_k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/03-cpc-gadgets/cini/verica_cini_d3_k1.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/combined-analysis/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/combined-analysis/config.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/combined-analysis/fia-whitelist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/combined-analysis/fia-whitelist -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/countermeasures/AesSbox_keyAdd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/countermeasures/AesSbox_keyAdd.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/countermeasures/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/countermeasures/config.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/countermeasures/fia-whitelist: -------------------------------------------------------------------------------- 1 | B00 1 2 | 3 | -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/dfa-normal/AesSbox_keyAdd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/dfa-normal/AesSbox_keyAdd.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/dfa-normal/DefaultSbox_keyAdd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/dfa-normal/DefaultSbox_keyAdd.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/dfa-normal/PresentSbox_keyAdd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/dfa-normal/PresentSbox_keyAdd.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/dfa-normal/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/dfa-normal/annotations.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/dfa-normal/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/dfa-normal/config.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/dfa-normal/fia-whitelist: -------------------------------------------------------------------------------- 1 | io_state[2] 1 2 | -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/probabilistic-analysis/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/probabilistic-analysis/config.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/probabilistic-analysis/fia-whitelist: -------------------------------------------------------------------------------- 1 | io_state[0] 1 2 | 3 | -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/sifa/Chi3_sharedToffoli_sifaTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/sifa/Chi3_sharedToffoli_sifaTest.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/sifa/Chi5_sharedToffoli_sifaTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/sifa/Chi5_sharedToffoli_sifaTest.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/sifa/IswMul_d1_sifaTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/sifa/IswMul_d1_sifaTest.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/sifa/IswMul_d1_sifaTest_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/sifa/IswMul_d1_sifaTest_opt.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/sifa/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/sifa/annotations.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/sifa/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/sifa/config.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/sifa/fia-whitelist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/sifa/fia-whitelist -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/stuck-at-key/KeyAddition_16bit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/stuck-at-key/KeyAddition_16bit.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/stuck-at-key/KeyAddition_4bit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/stuck-at-key/KeyAddition_4bit.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/stuck-at-key/KeyAddition_8bit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/stuck-at-key/KeyAddition_8bit.v -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/stuck-at-key/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/stuck-at-key/annotations.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/stuck-at-key/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/stuck-at-key/config.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/stuck-at-key/fia-whitelist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/stuck-at-key/fia-whitelist -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/timing/config/annotations_aes.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/timing/config/annotations_aes.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/timing/config/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/timing/config/config.json -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/timing/config/fia-whitelist: -------------------------------------------------------------------------------- 1 | f0_round_4_t_U22 1 -------------------------------------------------------------------------------- /case-studies/04-fault-vulnerability/timing/designs/AesSbox_keyAdd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/case-studies/04-fault-vulnerability/timing/designs/AesSbox_keyAdd.v -------------------------------------------------------------------------------- /cell/Instructions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/cell/Instructions.txt -------------------------------------------------------------------------------- /cell/nang45.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/cell/nang45.txt -------------------------------------------------------------------------------- /config/docker.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/config/docker.json -------------------------------------------------------------------------------- /config/verica-example.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/config/verica-example.json -------------------------------------------------------------------------------- /config/verica.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/config/verica.json -------------------------------------------------------------------------------- /docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/docker-compose.yml -------------------------------------------------------------------------------- /docs/doxygen.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/docs/doxygen.conf -------------------------------------------------------------------------------- /dot/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inc/Configuration.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/Configuration.hpp -------------------------------------------------------------------------------- /inc/Environment.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/Environment.hpp -------------------------------------------------------------------------------- /inc/Service.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/Service.hpp -------------------------------------------------------------------------------- /inc/analyzer/Analyzer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/Analyzer.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationCombinable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationCombinable.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationComposability.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationComposability.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationFaultCorrection.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationFaultCorrection.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationFaultDetection.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationFaultDetection.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationFaultSFA.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationFaultSFA.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationFaultSIFA.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationFaultSIFA.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationFaultVulnerability.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationFaultVulnerability.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationProbing.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationProbing.hpp -------------------------------------------------------------------------------- /inc/analyzer/ConfigurationUniformity.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/ConfigurationUniformity.hpp -------------------------------------------------------------------------------- /inc/analyzer/Strategy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/analyzer/Strategy.hpp -------------------------------------------------------------------------------- /inc/composer/NetlistComposer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/composer/NetlistComposer.hpp -------------------------------------------------------------------------------- /inc/config.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/config.hpp -------------------------------------------------------------------------------- /inc/context/CellLibrary.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/context/CellLibrary.hpp -------------------------------------------------------------------------------- /inc/context/FaultLibrary.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/context/FaultLibrary.hpp -------------------------------------------------------------------------------- /inc/context/Logger.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/context/Logger.hpp -------------------------------------------------------------------------------- /inc/context/Settings.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/context/Settings.hpp -------------------------------------------------------------------------------- /inc/context/State.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/context/State.hpp -------------------------------------------------------------------------------- /inc/cudd/cache.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/cache.hpp -------------------------------------------------------------------------------- /inc/cudd/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/config.h -------------------------------------------------------------------------------- /inc/cudd/cudd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/cudd.h -------------------------------------------------------------------------------- /inc/cudd/cuddInt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/cuddInt.h -------------------------------------------------------------------------------- /inc/cudd/cuddObj.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/cuddObj.hh -------------------------------------------------------------------------------- /inc/cudd/cudd_ext.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/cudd_ext.hpp -------------------------------------------------------------------------------- /inc/cudd/epd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/epd.h -------------------------------------------------------------------------------- /inc/cudd/mtr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/mtr.h -------------------------------------------------------------------------------- /inc/cudd/st.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/cudd/st.h -------------------------------------------------------------------------------- /inc/fault/FaultTemplate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/fault/FaultTemplate.hpp -------------------------------------------------------------------------------- /inc/injector/Injector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/injector/Injector.hpp -------------------------------------------------------------------------------- /inc/injector/fault.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/injector/fault.hpp -------------------------------------------------------------------------------- /inc/netlist/CellTemplate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/netlist/CellTemplate.hpp -------------------------------------------------------------------------------- /inc/netlist/Module.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/netlist/Module.hpp -------------------------------------------------------------------------------- /inc/netlist/Netlist.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/netlist/Netlist.hpp -------------------------------------------------------------------------------- /inc/netlist/Pin.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/netlist/Pin.hpp -------------------------------------------------------------------------------- /inc/netlist/Wire.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/netlist/Wire.hpp -------------------------------------------------------------------------------- /inc/netlist/factory/NetlistFactoryFirrtl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/netlist/factory/NetlistFactoryFirrtl.hpp -------------------------------------------------------------------------------- /inc/netlist/factory/NetlistFactoryVerilog.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/netlist/factory/NetlistFactoryVerilog.hpp -------------------------------------------------------------------------------- /inc/parser/ConfigurationFirrtl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/ConfigurationFirrtl.hpp -------------------------------------------------------------------------------- /inc/parser/ConfigurationLibrary.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/ConfigurationLibrary.hpp -------------------------------------------------------------------------------- /inc/parser/ConfigurationNetlist.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/ConfigurationNetlist.hpp -------------------------------------------------------------------------------- /inc/parser/ConfigurationVerilog.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/ConfigurationVerilog.hpp -------------------------------------------------------------------------------- /inc/parser/Parser.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/Parser.hpp -------------------------------------------------------------------------------- /inc/parser/firrtl/GrammarFirrtl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/firrtl/GrammarFirrtl.hpp -------------------------------------------------------------------------------- /inc/parser/firrtl/SkipperFirrtl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/firrtl/SkipperFirrtl.hpp -------------------------------------------------------------------------------- /inc/parser/verilog/GrammarVerilog.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/verilog/GrammarVerilog.hpp -------------------------------------------------------------------------------- /inc/parser/verilog/SkipperVerilog.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/parser/verilog/SkipperVerilog.hpp -------------------------------------------------------------------------------- /inc/preprocessor/ConfigurationAnnotation.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/preprocessor/ConfigurationAnnotation.hpp -------------------------------------------------------------------------------- /inc/preprocessor/ConfigurationElaborate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/preprocessor/ConfigurationElaborate.hpp -------------------------------------------------------------------------------- /inc/preprocessor/ConfigurationFIA.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/preprocessor/ConfigurationFIA.hpp -------------------------------------------------------------------------------- /inc/preprocessor/ConfigurationFiltering.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/preprocessor/ConfigurationFiltering.hpp -------------------------------------------------------------------------------- /inc/preprocessor/ConfigurationModelPostprocessing.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/preprocessor/ConfigurationModelPostprocessing.hpp -------------------------------------------------------------------------------- /inc/preprocessor/ConfigurationMultithreading.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/preprocessor/ConfigurationMultithreading.hpp -------------------------------------------------------------------------------- /inc/preprocessor/ConfigurationSCA.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/preprocessor/ConfigurationSCA.hpp -------------------------------------------------------------------------------- /inc/preprocessor/Preprocessor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/preprocessor/Preprocessor.hpp -------------------------------------------------------------------------------- /inc/unittest/FunctionalFIATest.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/FunctionalFIATest.hpp -------------------------------------------------------------------------------- /inc/unittest/TestConfigurationFailingProbes.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/TestConfigurationFailingProbes.hpp -------------------------------------------------------------------------------- /inc/unittest/TestConfigurationMXSecurity.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/TestConfigurationMXSecurity.hpp -------------------------------------------------------------------------------- /inc/unittest/TestConfigurations.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/TestConfigurations.hpp -------------------------------------------------------------------------------- /inc/unittest/TestEnvironment.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/TestEnvironment.hpp -------------------------------------------------------------------------------- /inc/unittest/TestEnvironmentCombined.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/TestEnvironmentCombined.hpp -------------------------------------------------------------------------------- /inc/unittest/TestEnvironmentSCA.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/TestEnvironmentSCA.hpp -------------------------------------------------------------------------------- /inc/unittest/TestInjector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/TestInjector.hpp -------------------------------------------------------------------------------- /inc/unittest/checkSecurity.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/checkSecurity.hpp -------------------------------------------------------------------------------- /inc/unittest/test_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/unittest/test_utils.hpp -------------------------------------------------------------------------------- /inc/util.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/util.hpp -------------------------------------------------------------------------------- /inc/visualization/ConfigurationGraphvizDot.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/visualization/ConfigurationGraphvizDot.hpp -------------------------------------------------------------------------------- /inc/visualization/Visualizer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/inc/visualization/Visualizer.hpp -------------------------------------------------------------------------------- /lib/libboost_program_options.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/lib/libboost_program_options.so -------------------------------------------------------------------------------- /lib/libboost_program_options.so.1.71.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/lib/libboost_program_options.so.1.71.0 -------------------------------------------------------------------------------- /lib/libboost_unit_test_framework.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/lib/libboost_unit_test_framework.so -------------------------------------------------------------------------------- /lib/libboost_unit_test_framework.so.1.75.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/lib/libboost_unit_test_framework.so.1.75.0 -------------------------------------------------------------------------------- /lib/libcudd-3.0.0.so.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/lib/libcudd-3.0.0.so.0 -------------------------------------------------------------------------------- /lib/libcudd-3.0.0.so.0.0.0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/lib/libcudd-3.0.0.so.0.0.0 -------------------------------------------------------------------------------- /lib/libcudd.so: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/lib/libcudd.so -------------------------------------------------------------------------------- /log/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/makefile -------------------------------------------------------------------------------- /model/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/annotations.json -------------------------------------------------------------------------------- /model/bitflip.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/bitflip.txt -------------------------------------------------------------------------------- /model/fia-blacklist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/fia-blacklist -------------------------------------------------------------------------------- /model/fia-whitelist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/fia-whitelist -------------------------------------------------------------------------------- /model/identity.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/identity.txt -------------------------------------------------------------------------------- /model/laser.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/laser.txt -------------------------------------------------------------------------------- /model/reset.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/reset.txt -------------------------------------------------------------------------------- /model/sca-blacklist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/sca-blacklist -------------------------------------------------------------------------------- /model/sca-whitelist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/sca-whitelist -------------------------------------------------------------------------------- /model/set.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/set.txt -------------------------------------------------------------------------------- /model/setreset.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/setreset.txt -------------------------------------------------------------------------------- /model/setresetflip.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/model/setresetflip.txt -------------------------------------------------------------------------------- /src/Configuration.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/Configuration.cpp -------------------------------------------------------------------------------- /src/Environment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/Environment.cpp -------------------------------------------------------------------------------- /src/Service.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/Service.cpp -------------------------------------------------------------------------------- /src/analyzer/Analyzer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/Analyzer.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationCombinable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationCombinable.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationComposability.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationComposability.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationFaultCorrection.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationFaultCorrection.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationFaultDetection.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationFaultDetection.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationFaultSFA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationFaultSFA.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationFaultSIFA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationFaultSIFA.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationFaultVulnerability.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationFaultVulnerability.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationProbing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationProbing.cpp -------------------------------------------------------------------------------- /src/analyzer/ConfigurationUniformity.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/analyzer/ConfigurationUniformity.cpp -------------------------------------------------------------------------------- /src/composer/NetlistComposer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/composer/NetlistComposer.cpp -------------------------------------------------------------------------------- /src/context/CellLibrary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/context/CellLibrary.cpp -------------------------------------------------------------------------------- /src/context/FaultLibrary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/context/FaultLibrary.cpp -------------------------------------------------------------------------------- /src/context/Logger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/context/Logger.cpp -------------------------------------------------------------------------------- /src/context/Settings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/context/Settings.cpp -------------------------------------------------------------------------------- /src/context/State.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/context/State.cpp -------------------------------------------------------------------------------- /src/cudd/cache.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/cudd/cache.cpp -------------------------------------------------------------------------------- /src/cudd/cudd_ext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/cudd/cudd_ext.cpp -------------------------------------------------------------------------------- /src/injector/Injector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/injector/Injector.cpp -------------------------------------------------------------------------------- /src/netlist/Module.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/netlist/Module.cpp -------------------------------------------------------------------------------- /src/netlist/Netlist.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/netlist/Netlist.cpp -------------------------------------------------------------------------------- /src/netlist/Pin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/netlist/Pin.cpp -------------------------------------------------------------------------------- /src/netlist/Wire.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/netlist/Wire.cpp -------------------------------------------------------------------------------- /src/netlist/factory/NetlistFactoryFirrtl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/netlist/factory/NetlistFactoryFirrtl.cpp -------------------------------------------------------------------------------- /src/netlist/factory/NetlistFactoryVerilog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/netlist/factory/NetlistFactoryVerilog.cpp -------------------------------------------------------------------------------- /src/parser/ConfigurationFirrtl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/parser/ConfigurationFirrtl.cpp -------------------------------------------------------------------------------- /src/parser/ConfigurationLibrary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/parser/ConfigurationLibrary.cpp -------------------------------------------------------------------------------- /src/parser/ConfigurationNetlist.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/parser/ConfigurationNetlist.cpp -------------------------------------------------------------------------------- /src/parser/ConfigurationVerilog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/parser/ConfigurationVerilog.cpp -------------------------------------------------------------------------------- /src/parser/Parser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/parser/Parser.cpp -------------------------------------------------------------------------------- /src/preprocessor/ConfigurationAnnotation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/preprocessor/ConfigurationAnnotation.cpp -------------------------------------------------------------------------------- /src/preprocessor/ConfigurationElaborate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/preprocessor/ConfigurationElaborate.cpp -------------------------------------------------------------------------------- /src/preprocessor/ConfigurationFIA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/preprocessor/ConfigurationFIA.cpp -------------------------------------------------------------------------------- /src/preprocessor/ConfigurationFiltering.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/preprocessor/ConfigurationFiltering.cpp -------------------------------------------------------------------------------- /src/preprocessor/ConfigurationModelPostprocessing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/preprocessor/ConfigurationModelPostprocessing.cpp -------------------------------------------------------------------------------- /src/preprocessor/ConfigurationMultithreading.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/preprocessor/ConfigurationMultithreading.cpp -------------------------------------------------------------------------------- /src/preprocessor/ConfigurationSCA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/preprocessor/ConfigurationSCA.cpp -------------------------------------------------------------------------------- /src/preprocessor/Preprocessor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/preprocessor/Preprocessor.cpp -------------------------------------------------------------------------------- /src/verica.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/verica.cpp -------------------------------------------------------------------------------- /src/visualization/ConfigurationGraphvizDot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/visualization/ConfigurationGraphvizDot.cpp -------------------------------------------------------------------------------- /src/visualization/Visualizer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/src/visualization/Visualizer.cpp -------------------------------------------------------------------------------- /test/aes/aes.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/aes/aes.nl -------------------------------------------------------------------------------- /test/aes/aes_sbox.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/aes/aes_sbox.nl -------------------------------------------------------------------------------- /test/aes/aes_sbox_TI1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/aes/aes_sbox_TI1.nl -------------------------------------------------------------------------------- /test/aes/aes_sbox_TI1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/aes/aes_sbox_TI1.v -------------------------------------------------------------------------------- /test/aes/aes_sbox_TI1_modules.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/aes/aes_sbox_TI1_modules.v -------------------------------------------------------------------------------- /test/aes/aes_sbox_cms1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/aes/aes_sbox_cms1.nl -------------------------------------------------------------------------------- /test/aes/aes_sbox_dom1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/aes/aes_sbox_dom1.nl -------------------------------------------------------------------------------- /test/aes/aes_sbox_dom2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/aes/aes_sbox_dom2.nl -------------------------------------------------------------------------------- /test/case-study-nina/and_sinina_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/and_sinina_d1_k1.v -------------------------------------------------------------------------------- /test/case-study-nina/and_sinina_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/and_sinina_d1_k2.v -------------------------------------------------------------------------------- /test/case-study-nina/and_sinina_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/and_sinina_d2_k1.v -------------------------------------------------------------------------------- /test/case-study-nina/and_sinina_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/and_sinina_d2_k2.v -------------------------------------------------------------------------------- /test/case-study-nina/and_snina_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/and_snina_d1_k1.v -------------------------------------------------------------------------------- /test/case-study-nina/and_snina_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/and_snina_d1_k2.v -------------------------------------------------------------------------------- /test/case-study-nina/and_snina_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/and_snina_d2_k1.v -------------------------------------------------------------------------------- /test/case-study-nina/and_snina_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/and_snina_d2_k2.v -------------------------------------------------------------------------------- /test/case-study-nina/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/annotations.json -------------------------------------------------------------------------------- /test/case-study-nina/xor_nina_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/xor_nina_d1_k1.v -------------------------------------------------------------------------------- /test/case-study-nina/xor_nina_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/xor_nina_d1_k2.v -------------------------------------------------------------------------------- /test/case-study-nina/xor_nina_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/xor_nina_d2_k1.v -------------------------------------------------------------------------------- /test/case-study-nina/xor_nina_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-nina/xor_nina_d2_k2.v -------------------------------------------------------------------------------- /test/case-study-parti/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-parti/annotations.json -------------------------------------------------------------------------------- /test/case-study-parti/sbox-present-ti-correction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-parti/sbox-present-ti-correction.v -------------------------------------------------------------------------------- /test/case-study-parti/sbox-present-ti-detection.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-parti/sbox-present-ti-detection.v -------------------------------------------------------------------------------- /test/case-study-toffoli/aes-104.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-toffoli/aes-104.nl -------------------------------------------------------------------------------- /test/case-study-toffoli/aes-full.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-toffoli/aes-full.nl -------------------------------------------------------------------------------- /test/case-study-toffoli/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-toffoli/annotations.json -------------------------------------------------------------------------------- /test/case-study-toffoli/chi3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-toffoli/chi3.v -------------------------------------------------------------------------------- /test/case-study-toffoli/chi5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-toffoli/chi5.v -------------------------------------------------------------------------------- /test/case-study-toffoli/toffoli-chi.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-toffoli/toffoli-chi.v -------------------------------------------------------------------------------- /test/case-study-toffoli/toffoli.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/case-study-toffoli/toffoli.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/annotations.json -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d1_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d1_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d1_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d1_k3.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d2_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d2_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d2_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d2_k3.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d3_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d3_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d3_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d3_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc1/cini_d3_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc1/cini_d3_k3.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/annotations.json -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d1_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d1_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d1_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d1_k3.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d2_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d2_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d2_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d2_k3.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d3_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d3_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d3_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d3_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc2/cini_d3_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc2/cini_d3_k3.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/annotations.json -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d1_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d1_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d1_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d1_k3.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d2_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d2_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d2_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d2_k3.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d3_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d3_k1.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d3_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d3_k2.v -------------------------------------------------------------------------------- /test/cini-insecure/hpc3/cini_hpc3_d3_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cini-insecure/hpc3/cini_hpc3_d3_k3.v -------------------------------------------------------------------------------- /test/cms/cms3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cms/cms3.nl -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/annotations.json -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d1_k1_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d1_k1_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d1_k2_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d1_k2_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d1_k3_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d1_k3_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d2_k1_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d2_k1_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d2_k2_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d2_k2_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d2_k3_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d2_k3_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d3_k1_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d3_k1_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d3_k2_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d3_k2_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/cini/cini_hpc1_d3_k3_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/cini/cini_hpc1_d3_k3_opt.v -------------------------------------------------------------------------------- /test/cpc-gadgets/non-complete/annotations-d2-k1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/non-complete/annotations-d2-k1.json -------------------------------------------------------------------------------- /test/cpc-gadgets/non-complete/annotations-d2-k2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/non-complete/annotations-d2-k2.json -------------------------------------------------------------------------------- /test/cpc-gadgets/non-complete/ncc-d2-k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/non-complete/ncc-d2-k1.v -------------------------------------------------------------------------------- /test/cpc-gadgets/non-complete/ncc-d2-k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/non-complete/ncc-d2-k2.v -------------------------------------------------------------------------------- /test/cpc-gadgets/non-complete/ncc-d4-k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/cpc-gadgets/non-complete/ncc-d4-k2.v -------------------------------------------------------------------------------- /test/dom/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/annotations.json -------------------------------------------------------------------------------- /test/dom/annotations_firrtl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/annotations_firrtl.json -------------------------------------------------------------------------------- /test/dom/dom-dep2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom-dep2.nl -------------------------------------------------------------------------------- /test/dom/dom0.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom0.v -------------------------------------------------------------------------------- /test/dom/dom1.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom1.lo.fir -------------------------------------------------------------------------------- /test/dom/dom1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom1.nl -------------------------------------------------------------------------------- /test/dom/dom1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom1.v -------------------------------------------------------------------------------- /test/dom/dom2.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom2.lo.fir -------------------------------------------------------------------------------- /test/dom/dom2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom2.nl -------------------------------------------------------------------------------- /test/dom/dom2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom2.v -------------------------------------------------------------------------------- /test/dom/dom3.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom3.lo.fir -------------------------------------------------------------------------------- /test/dom/dom3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom3.nl -------------------------------------------------------------------------------- /test/dom/dom3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom3.v -------------------------------------------------------------------------------- /test/dom/dom4.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom4.lo.fir -------------------------------------------------------------------------------- /test/dom/dom4.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom4.nl -------------------------------------------------------------------------------- /test/dom/dom4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/dom4.v -------------------------------------------------------------------------------- /test/dom/domSNI1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/domSNI1.nl -------------------------------------------------------------------------------- /test/dom/domSNI2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/domSNI2.nl -------------------------------------------------------------------------------- /test/dom/domSNI3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/domSNI3.nl -------------------------------------------------------------------------------- /test/dom/domSNI4.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/dom/domSNI4.nl -------------------------------------------------------------------------------- /test/fini/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/annotations.json -------------------------------------------------------------------------------- /test/fini/fini_and_1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_and_1.v -------------------------------------------------------------------------------- /test/fini/fini_and_2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_and_2.v -------------------------------------------------------------------------------- /test/fini/fini_and_3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_and_3.v -------------------------------------------------------------------------------- /test/fini/fini_and_4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_and_4.v -------------------------------------------------------------------------------- /test/fini/fini_and_5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_and_5.v -------------------------------------------------------------------------------- /test/fini/fini_correction_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_correction_k1.v -------------------------------------------------------------------------------- /test/fini/fini_correction_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_correction_k2.v -------------------------------------------------------------------------------- /test/fini/fini_correction_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_correction_k3.v -------------------------------------------------------------------------------- /test/fini/fini_correction_k4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_correction_k4.v -------------------------------------------------------------------------------- /test/fini/fini_correction_k5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_correction_k5.v -------------------------------------------------------------------------------- /test/fini/fini_detection_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_detection_k1.v -------------------------------------------------------------------------------- /test/fini/fini_detection_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_detection_k2.v -------------------------------------------------------------------------------- /test/fini/fini_detection_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_detection_k3.v -------------------------------------------------------------------------------- /test/fini/fini_detection_k4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_detection_k4.v -------------------------------------------------------------------------------- /test/fini/fini_detection_k5.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/fini/fini_detection_k5.v -------------------------------------------------------------------------------- /test/hpc/hpc1_1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/hpc/hpc1_1.nl -------------------------------------------------------------------------------- /test/hpc/hpc1_2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/hpc/hpc1_2.nl -------------------------------------------------------------------------------- /test/hpc/hpc2_1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/hpc/hpc2_1.nl -------------------------------------------------------------------------------- /test/hpc/hpc2_2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/hpc/hpc2_2.nl -------------------------------------------------------------------------------- /test/icini/hpc1/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/annotations.json -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d1_k1.v -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d1_k2.v -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d1_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d1_k3.v -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d2_k1.v -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d2_k2.v -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d2_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d2_k3.v -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d3_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d3_k1.v -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d3_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d3_k2.v -------------------------------------------------------------------------------- /test/icini/hpc1/icini_d3_k3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/icini/hpc1/icini_d3_k3.v -------------------------------------------------------------------------------- /test/isw/isw1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/isw/isw1.nl -------------------------------------------------------------------------------- /test/isw/isw_sni_ref1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/isw/isw_sni_ref1.nl -------------------------------------------------------------------------------- /test/isw/isw_sni_ref2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/isw/isw_sni_ref2.nl -------------------------------------------------------------------------------- /test/linear/Ain.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/linear/Ain.nl -------------------------------------------------------------------------------- /test/linear/Am.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/linear/Am.nl -------------------------------------------------------------------------------- /test/linear/Aout.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/linear/Aout.nl -------------------------------------------------------------------------------- /test/linear/xor2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/linear/xor2.nl -------------------------------------------------------------------------------- /test/linear/xor3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/linear/xor3.nl -------------------------------------------------------------------------------- /test/midori/18.1-midori_sbox_4regs_CMS1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/midori/18.1-midori_sbox_4regs_CMS1.nl -------------------------------------------------------------------------------- /test/midori/18.2-midori_sbox_4regs_CMS1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/midori/18.2-midori_sbox_4regs_CMS1.nl -------------------------------------------------------------------------------- /test/midori/19.1-midori_sbox_6regs_CMS1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/midori/19.1-midori_sbox_6regs_CMS1.nl -------------------------------------------------------------------------------- /test/midori/19.2-midori_sbox_6regs_CMS1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/midori/19.2-midori_sbox_6regs_CMS1.nl -------------------------------------------------------------------------------- /test/midori/20-midori_sbox_new_2regs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/midori/20-midori_sbox_new_2regs.txt -------------------------------------------------------------------------------- /test/midori/21-midori_sbox_new_4regs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/midori/21-midori_sbox_new_4regs.txt -------------------------------------------------------------------------------- /test/midori/midori_sbox_TI1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/midori/midori_sbox_TI1.nl -------------------------------------------------------------------------------- /test/para/para1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/para/para1.nl -------------------------------------------------------------------------------- /test/para/para2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/para/para2.nl -------------------------------------------------------------------------------- /test/para/para3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/para/para3.nl -------------------------------------------------------------------------------- /test/para/para4.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/para/para4.nl -------------------------------------------------------------------------------- /test/para/paraSNI3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/para/paraSNI3.nl -------------------------------------------------------------------------------- /test/para/paraSNI4.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/para/paraSNI4.nl -------------------------------------------------------------------------------- /test/permutation/permutation_2_1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/permutation/permutation_2_1.nl -------------------------------------------------------------------------------- /test/permutation/permutation_2_2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/permutation/permutation_2_2.nl -------------------------------------------------------------------------------- /test/permutation/permutation_3_3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/permutation/permutation_3_3.nl -------------------------------------------------------------------------------- /test/permutation/permutation_4_4.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/permutation/permutation_4_4.nl -------------------------------------------------------------------------------- /test/permutation/permutation_4_4_small.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/permutation/permutation_4_4_small.nl -------------------------------------------------------------------------------- /test/permutation/permutation_5_5_small.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/permutation/permutation_5_5_small.nl -------------------------------------------------------------------------------- /test/pini/and2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/pini/and2.nl -------------------------------------------------------------------------------- /test/pini/mulPINI1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/pini/mulPINI1.nl -------------------------------------------------------------------------------- /test/pini/mulPINI2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/pini/mulPINI2.nl -------------------------------------------------------------------------------- /test/present/present_1round.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/present_1round.nl -------------------------------------------------------------------------------- /test/present/present_2round.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/present_2round.nl -------------------------------------------------------------------------------- /test/present/present_2round_reg.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/present_2round_reg.nl -------------------------------------------------------------------------------- /test/present/sbox.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/sbox.lo.fir -------------------------------------------------------------------------------- /test/present/sharedSbox_non-uniform.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/sharedSbox_non-uniform.nl -------------------------------------------------------------------------------- /test/present/sharedSbox_non-uniform_F.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/sharedSbox_non-uniform_F.nl -------------------------------------------------------------------------------- /test/present/sharedSbox_non-uniform_G.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/sharedSbox_non-uniform_G.nl -------------------------------------------------------------------------------- /test/present/sharedSbox_uniform1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/sharedSbox_uniform1.nl -------------------------------------------------------------------------------- /test/present/sharedSbox_uniform1_F.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/sharedSbox_uniform1_F.nl -------------------------------------------------------------------------------- /test/present/sharedSbox_uniform1_G.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/sharedSbox_uniform1_G.nl -------------------------------------------------------------------------------- /test/present/sharedSbox_uniform2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/present/sharedSbox_uniform2.nl -------------------------------------------------------------------------------- /test/prince/22-prince_sinv_6regs_CMS1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/prince/22-prince_sinv_6regs_CMS1.nl -------------------------------------------------------------------------------- /test/prince/23-prince_sinv_9regs_CMS1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/prince/23-prince_sinv_9regs_CMS1.nl -------------------------------------------------------------------------------- /test/prince/prince_sbox_TI1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/prince/prince_sbox_TI1.nl -------------------------------------------------------------------------------- /test/prince/prince_sbox_dusan_CMS1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/prince/prince_sbox_dusan_CMS1.nl -------------------------------------------------------------------------------- /test/quadratic/q12.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/quadratic/q12.nl -------------------------------------------------------------------------------- /test/quadratic/q293.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/quadratic/q293.nl -------------------------------------------------------------------------------- /test/quadratic/q294.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/quadratic/q294.nl -------------------------------------------------------------------------------- /test/quadratic/q299.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/quadratic/q299.nl -------------------------------------------------------------------------------- /test/quadratic/q300.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/quadratic/q300.nl -------------------------------------------------------------------------------- /test/quadratic/q300FLAW.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/quadratic/q300FLAW.nl -------------------------------------------------------------------------------- /test/quadratic/q4.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/quadratic/q4.nl -------------------------------------------------------------------------------- /test/secure-gates/10_aes_mux4_4SCA_FreshLevel3_noReg.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/10_aes_mux4_4SCA_FreshLevel3_noReg.nl -------------------------------------------------------------------------------- /test/secure-gates/1_aes_mux4_4SCA.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/1_aes_mux4_4SCA.nl -------------------------------------------------------------------------------- /test/secure-gates/1_aes_mux4_4SCA_v2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/1_aes_mux4_4SCA_v2.nl -------------------------------------------------------------------------------- /test/secure-gates/2_aes_mux4_4SCA_noRefresh.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/2_aes_mux4_4SCA_noRefresh.nl -------------------------------------------------------------------------------- /test/secure-gates/3_aes_mux4_4SCA_lessFresh_lessReg.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/3_aes_mux4_4SCA_lessFresh_lessReg.nl -------------------------------------------------------------------------------- /test/secure-gates/4_aes_mux4_4SCA_noRefresh_lessFresh_lessReg.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/4_aes_mux4_4SCA_noRefresh_lessFresh_lessReg.nl -------------------------------------------------------------------------------- /test/secure-gates/5_aes_mux4_4SCA_FreshLevel1_lessReg.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/5_aes_mux4_4SCA_FreshLevel1_lessReg.nl -------------------------------------------------------------------------------- /test/secure-gates/6_aes_mux4_4SCA_noRefresh_FreshLevel1_lessReg.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/6_aes_mux4_4SCA_noRefresh_FreshLevel1_lessReg.nl -------------------------------------------------------------------------------- /test/secure-gates/7_aes_mux4_4SCA_noRefresh_FreshLevel1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/7_aes_mux4_4SCA_noRefresh_FreshLevel1.nl -------------------------------------------------------------------------------- /test/secure-gates/8_aes_mux4_4SCA_FreshLevel1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/8_aes_mux4_4SCA_FreshLevel1.nl -------------------------------------------------------------------------------- /test/secure-gates/9_aes_mux4_4SCA_FreshLevel3_lessReg.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/secure-gates/9_aes_mux4_4SCA_FreshLevel3_lessReg.nl -------------------------------------------------------------------------------- /test/skinny/skinny_sbox8_CMS1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/skinny/skinny_sbox8_CMS1.nl -------------------------------------------------------------------------------- /test/skinny/skinny_sbox8_TI1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/skinny/skinny_sbox8_TI1.nl -------------------------------------------------------------------------------- /test/uma/uma2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/uma/uma2.nl -------------------------------------------------------------------------------- /test/uma/uma2_comp.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/uma/uma2_comp.nl -------------------------------------------------------------------------------- /test/uniformity/24.1-midori_sbox_y2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/uniformity/24.1-midori_sbox_y2.nl -------------------------------------------------------------------------------- /test/uniformity/24.2-midori_sbox_y2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/uniformity/24.2-midori_sbox_y2.nl -------------------------------------------------------------------------------- /test/uniformity/24.3-midori_sbox_y2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/uniformity/24.3-midori_sbox_y2.nl -------------------------------------------------------------------------------- /test/uniformity/25.1-midori_sbox_Q2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/uniformity/25.1-midori_sbox_Q2.nl -------------------------------------------------------------------------------- /test/uniformity/25.2-midori_sbox_Q2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/test/uniformity/25.2-midori_sbox_Q2.nl -------------------------------------------------------------------------------- /testCoverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/testCoverage.sh -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Firrtl/empty.fir: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Firrtl/trivialAddNot.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Firrtl/trivialAddNot.fir -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Firrtl/trivialAddNotPreprocessed.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Firrtl/trivialAddNotPreprocessed.fir -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/compress.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/compress.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/compress_complex.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/compress_complex.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/compress_expected.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/compress_expected.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/compress_trivial.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/compress_trivial.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/compress_trivial_expected.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/compress_trivial_expected.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/empty.nl: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/fia_fault_locations.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/fia_fault_locations.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/fia_trivial.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/fia_trivial.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/no_input.nl: -------------------------------------------------------------------------------- 1 | and 0 1 2 | xor 1 2 3 | and 4 3 4 | out 5 0:0 -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/parse_remove_unused.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/parse_remove_unused.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/parse_trivial.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/parse_trivial.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/parser_error.nl: -------------------------------------------------------------------------------- 1 | ERROR 1 0 -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/parser_error_input.nl: -------------------------------------------------------------------------------- 1 | in 0 a:b 2 | -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Netlist/undefined_pin_reference.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Netlist/undefined_pin_reference.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Verilog/empty.v: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Verilog/error_gate.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Verilog/error_gate.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Verilog/error_pin.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Verilog/error_pin.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Verilog/error_wire.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Verilog/error_wire.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/Verilog/simple.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/Verilog/simple.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini-insecure/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini-insecure/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini-insecure/cini_d1_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini-insecure/cini_d1_k1.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini-insecure/cini_d1_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini-insecure/cini_d1_k2.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini-insecure/cini_d2_k1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini-insecure/cini_d2_k1.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini-insecure/cini_d2_k2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini-insecure/cini_d2_k2.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d1_k1_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d1_k1_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d1_k2_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d1_k2_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d1_k3_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d1_k3_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d2_k1_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d2_k1_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d2_k2_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d2_k2_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d2_k3_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d2_k3_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d3_k1_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d3_k1_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d3_k2_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d3_k2_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cini/cini_hpc1_d3_k3_opt.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cini/cini_hpc1_d3_k3_opt.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cms3/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cms3/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/cms3/cms3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/cms3/cms3.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/craft-1round-correction/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/craft-1round-correction/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/craft-1round/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/craft-1round/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/craft-1round/craft-1round-1bit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/craft-1round/craft-1round-1bit.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/craft-1round/craft-1round-3bit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/craft-1round/craft-1round-3bit.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/craft-1round/craft-1round-4bit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/craft-1round/craft-1round-4bit.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/annotations_firrtl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/annotations_firrtl.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom-dep2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom-dep2.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom0.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom0.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom1.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom1.lo.fir -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom1.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom1.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom2.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom2.lo.fir -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom2.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom2.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom3.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom3.lo.fir -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom3.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom3.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom4.lo.fir: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom4.lo.fir -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom4.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom4.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/dom4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/dom4.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/domSNI1.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/domSNI1.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/domSNI2.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/domSNI2.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/domSNI3.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/domSNI3.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom/domSNI4.nl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom/domSNI4.nl -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom2-dep-insecure/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom2-dep-insecure/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom2-dep-insecure/dom_dep_insecure.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom2-dep-insecure/dom_dep_insecure.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom2-dep/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom2-dep/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/dom2-dep/dom-dep.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/dom2-dep/dom-dep.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/hpc/and-hpc1-d1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/hpc/and-hpc1-d1.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/hpc/and-hpc1-d2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/hpc/and-hpc1-d2.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/hpc/and-hpc2-d1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/hpc/and-hpc2-d1.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/hpc/and-hpc2-d2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/hpc/and-hpc2-d2.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/hpc/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/hpc/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/pini/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/pini/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/pini/mulPINI1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/pini/mulPINI1.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/uma/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/uma/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/uma/uma_d1.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/uma/uma_d1.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/uma/uma_d2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/uma/uma_d2.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/uma/uma_d3.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/uma/uma_d3.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/uma/uma_d4.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/uma/uma_d4.v -------------------------------------------------------------------------------- /unittests/VERICA/Designs/uma2/annotations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/uma2/annotations.json -------------------------------------------------------------------------------- /unittests/VERICA/Designs/uma2/uma2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Designs/uma2/uma2.v -------------------------------------------------------------------------------- /unittests/VERICA/EnvironmentTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/EnvironmentTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Injector/InjectorTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Injector/InjectorTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Parser/ConfigurationFirrtlTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Parser/ConfigurationFirrtlTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Parser/ConfigurationLibraryTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Parser/ConfigurationLibraryTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Parser/ConfigurationNetlistTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Parser/ConfigurationNetlistTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Parser/ConfigurationVerilogTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Parser/ConfigurationVerilogTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Preprocessor/Elaboration/ElaborationTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Preprocessor/Elaboration/ElaborationTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Preprocessor/Elaboration/MaskingTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Preprocessor/Elaboration/MaskingTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Preprocessor/FIATest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Preprocessor/FIATest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Preprocessor/FilteringTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Preprocessor/FilteringTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/Runner.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/Runner.cpp -------------------------------------------------------------------------------- /unittests/VERICA/analyzer/ConfigurationComposabilitCombinedTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/analyzer/ConfigurationComposabilitCombinedTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/analyzer/ConfigurationComposabilityTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/analyzer/ConfigurationComposabilityTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/analyzer/ConfigurationFaultCorrectionTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/analyzer/ConfigurationFaultCorrectionTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/analyzer/ConfigurationFaultDetectionTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/analyzer/ConfigurationFaultDetectionTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/analyzer/ConfigurationProbingTest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/analyzer/ConfigurationProbingTest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/analyzer/FunctionalFIATest.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/analyzer/FunctionalFIATest.cpp -------------------------------------------------------------------------------- /unittests/VERICA/analyzer/TestConfigurationFailingProbes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/analyzer/TestConfigurationFailingProbes.cpp -------------------------------------------------------------------------------- /unittests/VERICA/analyzer/TestConfigurationMXSecurity.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/analyzer/TestConfigurationMXSecurity.cpp -------------------------------------------------------------------------------- /unittests/VERICA/auxiliary/TestEnvironment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/auxiliary/TestEnvironment.cpp -------------------------------------------------------------------------------- /unittests/VERICA/auxiliary/TestInjector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/auxiliary/TestInjector.cpp -------------------------------------------------------------------------------- /unittests/VERICA/cell/ErroneousLibraryNumBoolExp.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/ErroneousLibraryNumBoolExp.txt -------------------------------------------------------------------------------- /unittests/VERICA/cell/ErroneousLibraryNumInput.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/ErroneousLibraryNumInput.txt -------------------------------------------------------------------------------- /unittests/VERICA/cell/ErroneousLibraryNumOutput.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/ErroneousLibraryNumOutput.txt -------------------------------------------------------------------------------- /unittests/VERICA/cell/ErroneousLibraryNumVariant.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/ErroneousLibraryNumVariant.txt -------------------------------------------------------------------------------- /unittests/VERICA/cell/ErroneousLibraryRedundantGateName.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/ErroneousLibraryRedundantGateName.txt -------------------------------------------------------------------------------- /unittests/VERICA/cell/ErroneousLibraryUnsupportedGadget.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/ErroneousLibraryUnsupportedGadget.txt -------------------------------------------------------------------------------- /unittests/VERICA/cell/Instructions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/Instructions.txt -------------------------------------------------------------------------------- /unittests/VERICA/cell/Library.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/Library.txt -------------------------------------------------------------------------------- /unittests/VERICA/cell/ReversedOrderLibrary.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/cell/ReversedOrderLibrary.txt -------------------------------------------------------------------------------- /unittests/VERICA/config/Analyzer/ConfigurationProbing/dom0/fail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Analyzer/ConfigurationProbing/dom0/fail.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Analyzer/ConfigurationProbing/dom0/find.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Analyzer/ConfigurationProbing/dom0/find.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Analyzer/ConfigurationProbing/dom1/fail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Analyzer/ConfigurationProbing/dom1/fail.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Analyzer/ConfigurationProbing/dom1/find.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Analyzer/ConfigurationProbing/dom1/find.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Analyzer/ConfigurationProbing/dom1/pass.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Analyzer/ConfigurationProbing/dom1/pass.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Analyzer/ConfigurationProbing/dom2/fail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Analyzer/ConfigurationProbing/dom2/fail.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/FaultLocations/cNoFilter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/FaultLocations/cNoFilter.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/FaultLocations/csBlacklist.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/FaultLocations/csBlacklist.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/FaultLocations/csNoFilter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/FaultLocations/csNoFilter.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/FaultLocations/csWhitelist.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/FaultLocations/csWhitelist.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/FaultLocations/sNoFilter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/FaultLocations/sNoFilter.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/complexityReduction.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/complexityReduction.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/complexityReductionError.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/complexityReductionError.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/erroneousFaultType.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/erroneousFaultType.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/erroneousGateIdentifier.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/erroneousGateIdentifier.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/highVariate.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/highVariate.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/laserFaultMap.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/laserFaultMap.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FIA/trivial.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FIA/trivial.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Filtering/blacklistFilter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Filtering/blacklistFilter.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Filtering/erroneousFilter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Filtering/erroneousFilter.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Filtering/noFilter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Filtering/noFilter.json -------------------------------------------------------------------------------- /unittests/VERICA/config/Filtering/whitelistFilter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/Filtering/whitelistFilter.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FirrtlParser/emptyFirrtl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FirrtlParser/emptyFirrtl.json -------------------------------------------------------------------------------- /unittests/VERICA/config/FirrtlParser/preprocess.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/FirrtlParser/preprocess.json -------------------------------------------------------------------------------- /unittests/VERICA/config/LibraryParser/correctLibrary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/LibraryParser/correctLibrary.json -------------------------------------------------------------------------------- /unittests/VERICA/config/LibraryParser/erroneousLibraryNumInput.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/LibraryParser/erroneousLibraryNumInput.json -------------------------------------------------------------------------------- /unittests/VERICA/config/LibraryParser/reversedOrderLibrary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/LibraryParser/reversedOrderLibrary.json -------------------------------------------------------------------------------- /unittests/VERICA/config/NetlistParser/emptyNetlist.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/NetlistParser/emptyNetlist.json -------------------------------------------------------------------------------- /unittests/VERICA/config/NetlistParser/erroneousGateNetlist.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/NetlistParser/erroneousGateNetlist.json -------------------------------------------------------------------------------- /unittests/VERICA/config/NetlistParser/erroneousInputNetlist.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/NetlistParser/erroneousInputNetlist.json -------------------------------------------------------------------------------- /unittests/VERICA/config/NetlistParser/missingInputNetlist.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/NetlistParser/missingInputNetlist.json -------------------------------------------------------------------------------- /unittests/VERICA/config/NetlistParser/trivialNetlist.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/NetlistParser/trivialNetlist.json -------------------------------------------------------------------------------- /unittests/VERICA/config/NetlistParser/undefined_pin_reference.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/NetlistParser/undefined_pin_reference.json -------------------------------------------------------------------------------- /unittests/VERICA/config/VerilogParser/emptyVerilog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/VerilogParser/emptyVerilog.json -------------------------------------------------------------------------------- /unittests/VERICA/config/VerilogParser/erroneousGateVerilog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/VerilogParser/erroneousGateVerilog.json -------------------------------------------------------------------------------- /unittests/VERICA/config/VerilogParser/erroneousPinVerilog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/VerilogParser/erroneousPinVerilog.json -------------------------------------------------------------------------------- /unittests/VERICA/config/VerilogParser/erroneousWireVerilog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/VerilogParser/erroneousWireVerilog.json -------------------------------------------------------------------------------- /unittests/VERICA/config/VerilogParser/simpleVerilog.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/VerilogParser/simpleVerilog.json -------------------------------------------------------------------------------- /unittests/VERICA/config/test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/config/test.json -------------------------------------------------------------------------------- /unittests/VERICA/knownAnswers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/knownAnswers.json -------------------------------------------------------------------------------- /unittests/VERICA/model/fia/bitflip.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/model/fia/bitflip.txt -------------------------------------------------------------------------------- /unittests/VERICA/model/fia/customFaultLocationBlacklist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/model/fia/customFaultLocationBlacklist -------------------------------------------------------------------------------- /unittests/VERICA/model/fia/customFaultLocationWhitelist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/model/fia/customFaultLocationWhitelist -------------------------------------------------------------------------------- /unittests/VERICA/model/fia/erroneous_bitflip_fault_type.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/model/fia/erroneous_bitflip_fault_type.txt -------------------------------------------------------------------------------- /unittests/VERICA/model/fia/erroneous_bitflip_gate_identifier.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/model/fia/erroneous_bitflip_gate_identifier.txt -------------------------------------------------------------------------------- /unittests/VERICA/model/fia/laser.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/model/fia/laser.txt -------------------------------------------------------------------------------- /unittests/VERICA/model/filtering/blacklist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/model/filtering/blacklist -------------------------------------------------------------------------------- /unittests/VERICA/model/filtering/whitelist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/model/filtering/whitelist -------------------------------------------------------------------------------- /unittests/VERICA/reports/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /unittests/VERICA/test_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Chair-for-Security-Engineering/VERICA/HEAD/unittests/VERICA/test_utils.cpp --------------------------------------------------------------------------------