Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Sam Blackshear"'
Autor:
Panagiotis Chatzigiannis, Sam Blackshear, Timothy A. K. Zakian, Konstantinos Chalkias, Joshua Lind, David Wong, Irakliy Khaburzaniya, Riyaz Faizullabhoy, Eleftherios Kokoris Kogias
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662639573
Financial Cryptography Workshops
Financial Cryptography Workshops
We present a novel approach for blockchain asset owners to reclaim their funds in case of accidental private-key loss or transfer to a mistyped address. Our solution can be deployed upon failure or absence of proactively implemented backup mechanisms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79327784d778da0642ff17740a8618c1
https://doi.org/10.1007/978-3-662-63958-0_34
https://doi.org/10.1007/978-3-662-63958-0_34
Automatic static detection of data races is one of the most basic problems in reasoning about concurrency. We present RacerD—a static program analysis for detecting data races in Java programs which is fast, can scale to large code, and has proven
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e55228394581ce6f00eea856b00de741
https://eprints.mdx.ac.uk/25492/1/oopsla18main-p43-p-72a2fb3-38877-final.pdf
https://eprints.mdx.ac.uk/25492/1/oopsla18main-p43-p-72a2fb3-38877-final.pdf
Publikováno v:
OOPSLA
We present jumping, a form of selective control-flow abstraction useful for improving the scalability of goal-directed static analyses. Jumping is useful for analyzing programs with complex control-flow such as event-driven systems. In such systems,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e8aeade78697af200ca6408026a1261
https://doi.org/10.1145/2858965.2814293
https://doi.org/10.1145/2858965.2814293
Publikováno v:
SOAP@PLDI
We present an approach and tool for general-purpose modeling of Android for static analysis. Our approach is to explicate the reflective bridge between the Android framework and an application to make the framework source amenable to static analysis.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc0b357f2f8989b65542e8de8f8c4089
https://doi.org/10.1145/2771284.2771288
https://doi.org/10.1145/2771284.2771288
Publikováno v:
PLDI
We introduce Verification Modulo Versions (VMV), a new static analysis technique for reducing the number of alarms reported by static verifiers while providing sound semantic guarantees. First, VMV extracts semantic environment conditions from a base
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d0726c4f9c72dd4712edafe82c17036
https://doi.org/10.1145/2594291.2594326
https://doi.org/10.1145/2594291.2594326
Publikováno v:
CHI Extended Abstracts
The increasingly larger selection of mobile apps has made it difficult for users to understand what a particular app does and how it differs from the others. A user typically learns about an app from the app's public information (while deciding wheth
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad0a144a1ddab82603829cf1c557a773
https://doi.org/10.1145/2559206.2581352
https://doi.org/10.1145/2559206.2581352
Publikováno v:
PLDI
We present a precise, path-sensitive static analysis for reasoning about heap reachability, that is, whether an object can be reached from another variable or object via pointer dereferences. Precise reachability information is useful for a number of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::168d3f2346ea85228d4b1dab17852d80
https://doi.org/10.1145/2491956.2462186
https://doi.org/10.1145/2491956.2462186
Autor:
Sam Blackshear, Shuvendu K. Lahiri
Publikováno v:
PLDI
Modular assertion checkers are plagued with false alarms due to the need for precise environment specifications (preconditions and callee postconditions). Even the fully precise checkers report assertion failures under the most demonic environments a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68b359337b2759b78fdaf99c03337c23
https://doi.org/10.1145/2491956.2462188
https://doi.org/10.1145/2491956.2462188
Publikováno v:
Static Analysis ISBN: 9783642237010
SAS
SAS
We present techniques for determining the precision gap between Andersen's points-to analysis and precise flow-insensitive points-to analysis in practice. While previous work has shown that such a gap may exist, no efficient algorithm for precise flo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::113d1d247a5b7bc601adbe5fd495c6bc
https://doi.org/10.1007/978-3-642-23702-7_9
https://doi.org/10.1007/978-3-642-23702-7_9
Autor:
Sam Blackshear, Rakesh M. Verma
Publikováno v:
SAC
The unique properties of wireless sensor networks make key distribution a particularly difficult problem. Two protocols, LEAP+ and Eschenauer-Gligor (EG), offer creative and effective solutions to this problem via time-limited key establishment and r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d8a48974c07a2d5ebae688daa3f2797
https://doi.org/10.1145/1774088.1774507
https://doi.org/10.1145/1774088.1774507