Call It an "Evolution": Promoting Student-Athlete Well-Being During the Transition From Collegiate Sport von Reifsteck, Erin J, DeFreese, J D, Brooks, DeAnne Davis, Seo, Yeongjun, Beisecker, Ling, Rao, Neel, Chandran, Avinash

Volltext

Establishing Nonprofit Status for an Interventional Radiology Student Interest Group von Boulous, Michael, Schacht, Michael Andrew, Davis, W. Brooks

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

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

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

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

CHERI JNI: Sinking the Java Security Model into the C von Chisnall, David, Son, Stacey, Roe, Michael, Moore, Simon W., Neumann, Peter G., Laurie, Ben, Watson, Robert N.M., Davis, Brooks, Gudka, Khilan, Brazdil, David, Joannou, Alexandre, Woodruff, Jonathan, Markettos, A. Theodore, Maste, J. Edward, Norton, Robert

Volltext

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance von Zaliva, Vadim, Memarian, Kayvan, Almeida, Ricardo, Clarke, Jessica, Davis, Brooks, Richardson, Alexander, Chisnall, David, Campbell, Brian, Stark, Ian, Watson, Robert NM, Sewell, Peter

Volltext bestellen

CHERI: Hardware-Enabled C/C++ Memory Protection at Scale von Watson, Robert NM, Chisnall, David, Clarke, Jessica, Davis, Brooks, Filardo, Nathaniel, Laurie, Ben, Moore, Simon, Neumann, Peter, Richardson, Alexander, Sewell, Peter, Witaszczyk, Konrad, Woodruff, Jonathan

Volltext bestellen

Architectural Contracts for Safe Speculation von Fuchs, Franz, Woodruff, Jonathan, van der Maas, Marno, Rugg, Peter, Joannou, Alexandre, Richardson, Alexander, Clarke, Jessica, Filardo, Nathaniel Wesley, Davis, Brooks, Baldwin, John, Neumann, Peter G, Moore, Simon, Watson, Robert

Volltext bestellen

Faux leather sheet von BROOKS DAVIS

Volltext bestellen

Faux leather sheet von Brooks, Davis

Volltext bestellen

Faux leather sheet von Brooks, Davis

Volltext bestellen

Faux leather sheet von BROOKS DAVIS

Volltext bestellen

Seat von BROOKS DAVIS

Volltext bestellen

Seat von Brooks, Davis

Volltext bestellen

Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine von Chisnall, David, Rothwell, Colin, Watson, Robert N.M., Woodruff, Jonathan, Vadera, Munraj, Moore, Simon W., Roe, Michael, Davis, Brooks, Neumann, Peter G.

Volltext

Exploring C semantics and pointer provenance von Memarian, Kayvan, Gomes, Victor BF, Davis, Brooks, Kell, Stephen, Richardson, Alexander, Watson, Robert NM, Sewell, Peter

Volltext bestellen

APPARATUS AND METHOD FOR SELF-REGULATING THERAPEUTIC PRESSURE MASSAGE von Davis Brooks, Fowers Pamela, Black Kenneth

Volltext bestellen