![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| CLAIMED_Mostaani_Polynomial Formal Verification.pdf | 2023-03-25 11:30 | 301K | |
| CLAIMED_Beetham_A_Structural_and_SAT_Analysis_of_SANSCrypt.pdf | 2023-03-25 12:02 | 244K | |
| CLAIMED_Ari_RELIC-FUN_Logic_Identification_through_Functional_Signal_Comparisons.pdf | 2023-03-25 12:02 | 803K | |
| Software Testing Verif Rel - 2022 - Sachtleben - Effective grey‐box testing with partial FSM models.pdf | 2023-03-25 12:02 | 2.6M | |
| CLAIMED_Rodriguez_ReTrustFSM_Toward_RTL_Hardware_Obfuscation-A_Hybrid_FSM_Approach.pdf | 2023-03-25 12:02 | 4.6M | |