Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
Karolina Gorna, Nicolas Iooss, Yannick Seurin +2
Zorya is a concolic execution framework that lifts compiled binaries to Ghidra's P-Code intermediate representation and uses the Z3 SMT solver to detect vulnerabilities by reasonin…
cs.CR2024
Self-Sovereign Identity for Consented and Content-Based Access to Medical Records using Blockchain
Marie Tcholakian, Karolina Gorna, Maryline Laurent +2
Electronic Health Records (EHRs) and Medical Data are classified as personal data in every privacy law, meaning that any related service that includes processing such data must com…