The Arm Morello Evaluation Platform-Validating CHERI-Based Security in a High-Performance System von Grisenthwaite, Richard, Barnes, Graeme, Watson, Robert N. M., Moore, Simon W., Sewell, Peter, Woodruff, Jonathan

Volltext

CHERI Concentrate: Practical Compressed Capabilities von Woodruff, Jonathan, Joannou, Alexandre, Xia, Hongyan, Fox, Anthony, Norton, Robert M., Chisnall, David, Davis, Brooks, Gudka, Khilan, Filardo, Nathaniel W., Markettos, A. Theodore, Roe, Michael, Neumann, Peter G., Watson, Robert N. M., Moore, Simon W.

Volltext

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization von Watson, Robert N. M., Woodruff, Jonathan, Neumann, Peter G., Moore, Simon W., Anderson, Jonathan, Chisnall, David, Dave, Nirav, Davis, Brooks, Gudka, Khilan, Laurie, Ben, Murdoch, Steven J., Norton, Robert, Roe, Michael, Son, Stacey, Vadera, Munraj

Volltext

Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories von Bresniker, Kirk M., Faraboschi, Paolo, Mendelson, Avi, Milojicic, Dejan, Roscoe, Timothy, Watson, Robert N.M.

Volltext

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process von Nienhuis, Kyndylan, Joannou, Alexandre, Bauereiss, Thomas, Fox, Anthony, Roe, Michael, Campbell, Brian, Naylor, Matthew, Norton, Robert M., Moore, Simon W., Neumann, Peter G., Stark, Ian, Watson, Robert N. M., Sewell, Peter

Volltext

Cornucopia: Temporal Safety for CHERI Heaps von Wesley Filardo, Nathaniel, Gutstein, Brett F., Woodruff, Jonathan, Ainsworth, Sam, Paul-Trifu, Lucian, Davis, Brooks, Xia, Hongyan, Tomasz Napierala, Edward, Richardson, Alexander, Baldwin, John, Chisnall, David, Clarke, Jessica, Gudka, Khilan, Joannou, Alexandre, Theodore Markettos, A., Mazzinghi, Alfredo, Norton, Robert M., Roe, Michael, Sewell, Peter, Son, Stacey, Jones, Timothy M., Moore, Simon W., Neumann, Peter G., Watson, Robert N. M.

Volltext

Fast Protection-Domain Crossing in the CHERI Capability-System Architecture von Watson, Robert N. M., Norton, Robert M., Woodruff, Jonathan, Moore, Simon W., Neumann, Peter G., Anderson, Jonathan, Chisnall, David, Davis, Brooks, Laurie, Ben, Roe, Michael, Dave, Nirav H., Gudka, Khilan, Joannou, Alexandre, Markettos, A. Theodore, Maste, Ed, Murdoch, Steven J., Rothwell, Colin, Son, Stacey D., Vadera, Munraj

Volltext

Network stack specialization for performance von Marinos, Ilias, Watson, Robert NM, Handley, Mark

Volltext

The Age of Avatar Realism: When Seeing Shouldn't be Believing von RIEK, Laurel D, WATSON, Robert N. M

Volltext

Ignoring the Great Firewall of China von Clayton, Richard, Murdoch, Steven J., Watson, Robert N. M.

Volltext

Exploring C semantics and pointer provenance von Memarian, Kayvan, Gomes, Victor B. F., Davis, Brooks, Kell, Stephen, Richardson, Alexander, Watson, Robert N. M., Sewell, Peter

Volltext

Memory-Side Protection With a Capability Enforcement Co-Processor von Azriel, Leonid, Humbel, Lukas, Achermann, Reto, Richardson, Alex, Hoffmann, Moritz, Mendelson, Avi, Roscoe, Timothy, Watson, Robert N. M., Faraboschi, Paolo, Milojicic, Dejan

Volltext

Design and Implementation of the FreeBSD Operating System, The von McKusick, Marshall Kirk, Neville-Neil, George V

Volltext

Case Study: Securing MMU-less Linux Using CHERI von Almatary, Hesham, Mazzinghi, Alfredo, Watson, Robert N. M

Volltext bestellen

Structural Analysis of Whole-System Provenance Graphs von Soman, Jyothish, Bytheway, Thomas, Carata, Lucian, Balakrishnan, Nikilesh D., Sohan, Ripduman, Watson, Robert N. M.

Volltext

Declarative, Temporal, and Practical Programming with Capabilities von Harris, W. R., Jha, S., Reps, T., Anderson, J., Watson, R. N. M.

Volltext

Towards a Theory of Application Compartmentalisation (Transcript of Discussion) von Watson, Robert N. M.

Volltext

The Age of Avatar Realism von Riek, L D, Watson, R N M

Volltext

Case Study: Securing MMU-less Linux Using CHERI von Almatary, Hesham, Mazzinghi, Alfredo, Watson, Robert NM

Volltext bestellen

Case Study: Securing MMU-less Linux Using CHERI von Almatary, Hesham, Mazzinghi, Alfredo, Watson, Robert N M

Volltext