E-LIB Suche - Ergebnisse für: Brown, Fraser

1

Lightweight, Modular Verification for WebAssembly-to-Native..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1,

VanHattum, Alexa ; Pardeshi, Monica ; Fallin, Chris.. - p. 231-248 , 2024

Link: https://dl.acm.org/doi/1..

2

Bounded Verification for Finite-Field-Blasting: In a Compil..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Ozdemir, Alex ; Wahby, Riad S. ; Brown, Fraser. - p. 154-175 , 2023

Link: https://doi.org/10.1007/..

3

The ghost is the machine: Weird machines in transient execu..:

, In: 2023 IEEE Security and Privacy Workshops (SPW),

Wang, Ping-Lun ; Brown, Fraser ; Wahby, Riad S. - p. 264-272 , 2023

Link: https://doi.org/10.1109/..

4

Silph: A Framework for Scalable and Accurate Generation of ..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),

Chen, Edward ; Zhu, Jinhao ; Ozdemir, Alex... - p. 848-863 , 2023

Link: https://doi.org/10.1109/..

5

WaVe: a verifiably secure WebAssembly sandboxing runtime:

, In: 2023 IEEE Symposium on Security and Privacy (SP),

Johnson, Evan ; Laufer, Evan ; Zhao, Zijie... - p. 2940-2955 , 2023

Link: https://doi.org/10.1109/..

6

Quantitative T1 brain mapping in early relapsing-remitting ..:

Harper, James G. ; York, Elizabeth N. ; Meijboom, Rozanna...
European Radiology. 34 (2023) 6 - p. 3826-3839 , 2023

Link: https://doi.org/10.1007/..

7

PLAS: The 18th Workshop on Programming Languages and Analys..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Brown, Fraser ; v. Gleissenthall, Klaus - p. 3659 ff. , 2023

Link: https://dl.acm.org/doi/1..

8

CirC: Compiler infrastructure for proof systems, software v..:

, In: 2022 IEEE Symposium on Security and Privacy (SP),

Ozdemir, Alex ; Brown, Fraser ; Wahby, Riad S. - p. 2248-2266 , 2022

Link: https://doi.org/10.1109/..

9

There is something rotten in the mother of parliaments:

Brown, Fraser
International Journal of Play. 11 (2022) 1 - p. 3-7 , 2022

Link: https://doi.org/10.1080/..

10

Longitudinal retinal imaging study of newly diagnosed relap..:

Chen, Yingdi ; Larraz, Juan ; Wong, Michael...
BMJ Open Ophthalmology. 7 (2022) 1 - p. e001024 , 2022

Link: https://doi.org/10.1136/..

11

Scooter & Sidecar: a domain-specific approach to writing se..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Renner, John ; Sanchez-Stern, Alex ; Brown, Fraser.. - p. 710-724 , 2021

Link: https://dl.acm.org/doi/1..

12

MRI-derived g-ratio and lesion severity in newly diagnosed ..:

York, Elizabeth N ; Martin, Sarah-Jane ; Meijboom, Rozanna...
Brain Communications. 3 (2021) 4 - p. , 2021

Link: https://doi.org/10.1093/..

13

Towards a verified range analysis for JavaScript JITs:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Brown, Fraser ; Renner, John ; Nötzli, Andres... - p. 135-150 , 2020

Link: https://dl.acm.org/doi/1..

14

Working with attachment difficulties in school-aged childre..:

Brown, Fraser
International Journal of Play. 8 (2019) 3 - p. 329-330 , 2019

Link: https://doi.org/10.1080/..

15

FaCT: a DSL for timing-sensitive computation:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Cauligi, Sunjay ; Soeller, Gary ; Johannesmeyer, Brian... - p. 174-189 , 2019

Link: https://dl.acm.org/doi/1..