Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"capability systems"”.
-
Verified security properties for the capability-enhanced CHERI-MIPS architecture
… industry still struggles to build secure systems. The majority of security vulnerabilities are caused by a combination of two fundamental problems. First, mainstream engineering methods are not suited to find small bugs in corner cases. Second, mainstream hardware architectures and C/C++ …
-
Complete spatial safety for C and C++ using CHERI capabilities
Lack of memory safety in commonly used systems-level languages such as C and C++ results in a constant stream of new exploitable software vulnerabilities and exploit techniques. Many exploit mitigations have been proposed and deployed over the years, yet none address the root issue: lack of memory …
-
Integrating social and environmental sustainability into the operations of a multinational gold mining company: A case study of AngloGold Ashanti
… (incorporating role clarity and functional capability), systems and processes. Out of which come locally rooted, internationally defensible operational practices with the intended outcomes of internalising costs and externalising benefits arising from exploration and mining, therein seeking …
-
A microprogrammed operating system kernel
… of an operating system kernel for the Cambridge Capability Computer (CAP). The kernel of an operating syst em is its most primitive level of facilities and forms the foundation stone a round which t he rest of the system is structured. The particular emphasis of the CAP kernel is concerned with …