Brooks Davis
Orcid: 0009-0006-6256-0419
According to our database1,
Brooks Davis
authored at least 22 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
1
2
1
3
1
1
1
1
2
3
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 42nd IEEE International Conference on Computer Design, 2024
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
2023
Proceedings of the 41st IEEE International Conference on Computer Design, 2023
2020
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
2019
CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019
2018
Proceedings of the 36th IEEE International Conference on Computer Design, 2018
2017
Proceedings of the 2017 IEEE International Conference on Computer Design, 2017
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017
2016
IEEE Micro, 2016
2015
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization.
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015
2014
Proceedings of the ACM/IEEE 41st International Symposium on Computer Architecture, 2014
Proceedings of the Ninth Eurosys Conference 2014, 2014
2008
Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users.
Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008
2003
Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003
Proceedings of BSDCon 2003, San Mateo, California, USA, September 8-12, 2003, 2003
2002
Managing Advanced Communication Services Using Active Network Overlays in Grid Environments.
Proceedings of the 4th Annual International Workshop on Active Middleware Services (AMS 2002), 2002