Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Maxwell Bland"'
Publikováno v:
Proceedings of the 21st Workshop on Privacy in the Electronic Society.
In this work we find that many current redactions of PDF text are insecure due to non-redacted character positioning information. In particular, subpixel-sized horizontal shifts in redacted and non-redacted characters can be recovered and used to eff
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc4dedb1d3d8e9cca7a3d86018771953
http://arxiv.org/abs/2206.02285
http://arxiv.org/abs/2206.02285
Publikováno v:
Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication.
Multiple vendors have recently released SmartNICs that provide both special-purpose accelerators and programmable processing cores that allow increasingly sophisticated packet processing tasks to be offloaded from general-purpose CPUs. Indeed, leadin
UNSTRUCTURED Health Level 7 (HL7) is a ubiquitous protocol in healthcare infrastructure, used to interface a variety of systems. HL7 lacks encryption at the level of the protocol, and is thus vulnerable to attacks that modify message contents. We des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4802d2e1701f30a3a247a4428742d723
https://doi.org/10.2196/preprints.19335
https://doi.org/10.2196/preprints.19335
Publikováno v:
PLDI
We present counterfactual symbolic execution, a new approach that produces counterexamples that localize the causes of failure of static verification. First, we develop a notion of symbolic weak head normal form and use it to define lazy symbolic exe
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.