E-LIB Suche - Ergebnisse für: Criswell, John

1

Fat Pointers for Temporal Memory Safety of C:

Zhou, Jie ; Criswell, John ; Hicks, Michael
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 316-347 , 2023

Link: https://doi.org/10.1145/..

2

Tutorial: LLVM for Security Practitioners:

, In: 2022 IEEE Secure Development Conference (SecDev),

Criswell, John ; Johnson, Ethan ; Pronovost, Colin - p. 1-2 , 2022

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

3

Proceedings of the 18th ACM SIGPLAN/SIGOPS International Co..:

Criswell, John ; Williams, Dan ; Xia, Yubin , 2022

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

4

Randezvous: Making Randomization Effective on MCUs:

, In: Proceedings of the 38th Annual Computer Security Applications Conference,

Shen, Zhuojia ; Dharsee, Komail ; Criswell, John - p. 28-41 , 2022

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

5

Tutorial: LLVM for Security Practitioners:

, In: 2021 IEEE Secure Development Conference (SecDev),

Criswell, John ; Johnson, Ethan ; Pronovost, Colin - p. 9-10 , 2021

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

6

Fast Intra-kernel Isolation and Security with IskiOS:

, In: Proceedings of the 24th International Symposium on Research in Attacks, Intrusions and Defenses,

Gravani, Spyridoula ; Hedayati, Mohammad ; Criswell, John. - p. 119-134 , 2021

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

7

Tutorial: Making C Programs Safer with Checked C:

, In: 2021 IEEE Secure Development Conference (SecDev),

Zhou, Jie ; Hicks, Michael ; Yang, Yudi. - p. 13-14 , 2021

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

8

Tutorial: LLVM for Security Practitioners:

, In: 2020 IEEE Secure Development (SecDev),

Criswell, John - p. 1-1 , 2020

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

9

Refactoring the FreeBSD Kernel with Checked C:

, In: 2020 IEEE Secure Development (SecDev),

Duan, Junhan ; Yang, Yudi ; Zhou, Jie. - p. 15-22 , 2020

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

10

Fast Execute-Only Memory for Embedded Systems:

, In: 2020 IEEE Secure Development (SecDev),

Shen, Zhuojia ; Dharsee, Komail ; Criswell, John - p. 7-14 , 2020

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

11

Session details: Security II:

, In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems,

Criswell, John , 2019

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

12

Secure guest virtual machine support in apparition:

, In: Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments,

Johnson, Ethan ; Dharsee, Komail ; Criswell, John - p. 17-30 , 2019

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

13

Beating OPT with Statistical Clairvoyance and Variable Size..:

, In: Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems,

Li, Pengcheng ; Pronovost, Colin ; Wilson, William... - p. 243-256 , 2019

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

14

Codestitcher: inter-procedural basic block layout optimizat..:

, In: Proceedings of the 28th International Conference on Compiler Construction,

Lavaee, Rahman ; Criswell, John ; Ding, Chen - p. 65-75 , 2019

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

15

Restricting Control Flow During Speculative Execution:

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

Shen, Zhuojia ; Zhou, Jie ; Ojha, Divya. - p. 2297-2299 , 2018

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