Yazar
Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
Format:
Electronic Resources
Alıntı:
on cyber-physical systems, software verification tools, safety-critical systems, concurrency and
Yazar
Sako, Kazue. editor.
Format:
Electronic Resources
Alıntı:
: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement -- Enhancing
View Other Search Results
Yazar
Sako, Kazue. editor.
Format:
Electronic Resources
Alıntı:
Harvesting Attack in Proof of Work mining pools -- A Lattice-Based Linkable Ring Signature Supporting Stealth