https://adam-3bian.github.io/https://adam-3bian.github.io/404.htmlhttps://adam-3bian.github.io/CHERI-seL4-Exercises/https://adam-3bian.github.io/CHERI-seL4-Exercises/exercises/buffer-overflow-global/https://adam-3bian.github.io/academic-papers/https://adam-3bian.github.io/academic-papers/adaptive-cheri-compartmentalization-for-heterogeneous-accelerators/https://adam-3bian.github.io/academic-papers/cheri-a-hybrid-capability-system-architecture-for-scalable-software-compartmentalizat/https://adam-3bian.github.io/academic-papers/cheri-concentrate-practical-compressed-capabilities/https://adam-3bian.github.io/academic-papers/cheri-hardware-enabled-c-c-memory-protection-at-scale/https://adam-3bian.github.io/academic-papers/cheriabi-enforcing-valid-pointer-provenance-and-minimizing-pointer-privilege-in-the-p/https://adam-3bian.github.io/academic-papers/cheriot-complete-memory-safety-for-embedded-devices/https://adam-3bian.github.io/academic-papers/cheriot-rtos-an-os-for-fine-grained-memory-safe-compartments-on-low-cost-embedded-dev/https://adam-3bian.github.io/academic-papers/cornucopia-reloaded-load-barriers-for-cheri-heap-temporal-safety/https://adam-3bian.github.io/academic-papers/cornucopia-temporal-safety-for-cheri-heaps/https://adam-3bian.github.io/academic-papers/deprivileging-low-level-gpu-drivers-efficiently-with-user-space-processes-and-cheri-c/https://adam-3bian.github.io/academic-papers/formal-mechanised-semantics-of-cheri-c-capabilities-provenance-and-undefined-behaviou/https://adam-3bian.github.io/academic-papers/it-is-time-to-standardize-principles-and-practices-for-software-memory-safety/https://adam-3bian.github.io/academic-papers/rigorous-engineering-for-hardware-security-formal-modelling-and-proof-in-the-cheri-de/https://adam-3bian.github.io/academic-papers/the-arm-morello-evaluation-platformvalidating-cheri-based-security-in-a-high-performa/https://adam-3bian.github.io/academic-papers/the-cheri-capability-model-revisiting-risc-in-an-age-of-risk/https://adam-3bian.github.io/adopt/https://adam-3bian.github.io/adopt/assurance-and-adoption/about-cheri-enabled/https://adam-3bian.github.io/adopt/assurance-and-adoption/assurance-and-certification/https://adam-3bian.github.io/adopt/assurance-and-adoption/certification/https://adam-3bian.github.io/adopt/assurance-and-adoption/cheri-enabled-products/https://adam-3bian.github.io/adopt/assurance-and-adoption/procurement/https://adam-3bian.github.io/adopt/business-case/adoption-costs-and-migration/https://adam-3bian.github.io/adopt/business-case/cost-of-memory-unsafety/https://adam-3bian.github.io/adopt/business-case/return-on-security-investment/https://adam-3bian.github.io/adopt/business-case/the-business-case/https://adam-3bian.github.io/adopt/policy/critical-infrastructure-and-resilience/https://adam-3bian.github.io/adopt/policy/cybersecurity-regulation/https://adam-3bian.github.io/adopt/policy/government-guidance/https://adam-3bian.github.io/adopt/use-cases/automotive/https://adam-3bian.github.io/adopt/use-cases/cloud-and-data-centre/https://adam-3bian.github.io/adopt/use-cases/critical-infrastructure/https://adam-3bian.github.io/adopt/use-cases/defence-and-aerospace/https://adam-3bian.github.io/adopt/use-cases/iot-and-embedded/https://adam-3bian.github.io/adopt/use-cases/safety-critical-systems/https://adam-3bian.github.io/alliance/https://adam-3bian.github.io/alliance/about-and-governance/accelerating-together/https://adam-3bian.github.io/alliance/about-and-governance/collaboration-principles/https://adam-3bian.github.io/alliance/about-and-governance/governance/https://adam-3bian.github.io/alliance/about-and-governance/mission-and-role/https://adam-3bian.github.io/alliance/leadership/ambassadors/https://adam-3bian.github.io/alliance/leadership/governing-board/https://adam-3bian.github.io/alliance/leadership/members/https://adam-3bian.github.io/alliance/membership/contact/https://adam-3bian.github.io/alliance/membership/membership-benefits-and-options/https://adam-3bian.github.io/alliance/membership/why-join/https://adam-3bian.github.io/build/https://adam-3bian.github.io/build/platforms/cheri-products/https://adam-3bian.github.io/build/platforms/platform-comparison/https://adam-3bian.github.io/build/software-ecosystem/https://adam-3bian.github.io/build/technology/bounds/https://adam-3bian.github.io/build/technology/capabilities/https://adam-3bian.github.io/build/technology/cheri-and-rust-technical/https://adam-3bian.github.io/build/technology/compartmentalisation/https://adam-3bian.github.io/build/technology/hybrid-systems/https://adam-3bian.github.io/build/technology/permissions/https://adam-3bian.github.io/build/technology/provenance/https://adam-3bian.github.io/build/technology/pure-capability-systems/https://adam-3bian.github.io/build/technology/sealing/https://adam-3bian.github.io/build/technology/spatial-memory-safety/https://adam-3bian.github.io/build/technology/tags-and-validity/https://adam-3bian.github.io/build/technology/temporal-memory-safety/https://adam-3bian.github.io/case-studies/https://adam-3bian.github.io/case-studies/cheribsd/https://adam-3bian.github.io/case-studies/cheriot/https://adam-3bian.github.io/case-studies/codasip-x730/https://adam-3bian.github.io/case-studies/morello/https://adam-3bian.github.io/discover/https://adam-3bian.github.io/discover/history/cambridge-and-sri/https://adam-3bian.github.io/discover/history/commercialisation/https://adam-3bian.github.io/discover/history/darpa-programmes/https://adam-3bian.github.io/discover/history/development-of-cheri/https://adam-3bian.github.io/discover/history/early-capability-systems/https://adam-3bian.github.io/discover/history/formation-of-the-cheri-alliance/https://adam-3bian.github.io/discover/history/future-direction/https://adam-3bian.github.io/discover/history/morello-history/https://adam-3bian.github.io/discover/history/risc-v-and-embedded-development/https://adam-3bian.github.io/discover/history/ukri-digital-security-by-design/https://adam-3bian.github.io/discover/resources/digital-security-by-design-archive/https://adam-3bian.github.io/discover/resources/documentation-and-guides/https://adam-3bian.github.io/discover/resources/glossary/https://adam-3bian.github.io/discover/resources/specifications/https://adam-3bian.github.io/discover/resources/videos-and-presentations/https://adam-3bian.github.io/discover/understand/adapt-products/https://adam-3bian.github.io/discover/understand/cheri-and-existing-software/https://adam-3bian.github.io/discover/understand/cheri-history/https://adam-3bian.github.io/discover/understand/faq/https://adam-3bian.github.io/discover/understand/how-does-cheri-work/https://adam-3bian.github.io/discover/why-cheri/approaches-to-memory-safety/https://adam-3bian.github.io/discover/why-cheri/cheri-and-rust/https://adam-3bian.github.io/discover/why-cheri/vulnerabilities-in-everyday-technology/https://adam-3bian.github.io/discover/why-cheri/why-cheri/https://adam-3bian.github.io/discover/why-cheri/why-existing-defences-are-not-enough/https://adam-3bian.github.io/events/https://adam-3bian.github.io/events/cheri-blossoms-conference-2025/https://adam-3bian.github.io/events/cheri-blossoms-conference-2026/https://adam-3bian.github.io/events/cheri-blossoms-conference-2027/https://adam-3bian.github.io/events/cheri-blossoms-tutorial-2026/https://adam-3bian.github.io/events/cheritech25-reloaded/https://adam-3bian.github.io/events/cheritech25/https://adam-3bian.github.io/events/cheritech26/https://adam-3bian.github.io/events/cybersecurity-by-design-conference-2024/https://adam-3bian.github.io/events/embedded-world-2026/https://adam-3bian.github.io/events/webinar-cheri-cra-compliance/https://adam-3bian.github.io/guides/https://adam-3bian.github.io/guides/build-compartments/https://adam-3bian.github.io/guides/build-your-first-application/https://adam-3bian.github.io/guides/building-secure-software/https://adam-3bian.github.io/guides/choose-a-platform/https://adam-3bian.github.io/guides/downloads/https://adam-3bian.github.io/guides/install-a-toolchain/https://adam-3bian.github.io/guides/port-existing-software/https://adam-3bian.github.io/guides/run-cheri-in-simulation/https://adam-3bian.github.io/guides/technical-faq/https://adam-3bian.github.io/guides/tutorials-and-training/https://adam-3bian.github.io/hardware/https://adam-3bian.github.io/hardware/cheriot-ibex/https://adam-3bian.github.io/hardware/cheriot/https://adam-3bian.github.io/hardware/fpga-platforms/https://adam-3bian.github.io/hardware/morello/https://adam-3bian.github.io/hardware/sonata/https://adam-3bian.github.io/hardware/x730/https://adam-3bian.github.io/jobs/cheriot-software-engineer/https://adam-3bian.github.io/linux-roadmap/https://adam-3bian.github.io/morello-return/https://adam-3bian.github.io/news-and-events/https://adam-3bian.github.io/news-and-events/events-and-archive/cheri-blossoms/https://adam-3bian.github.io/news-and-events/events-and-archive/cheritech/https://adam-3bian.github.io/news-and-events/events-and-archive/past-events/https://adam-3bian.github.io/news-and-events/events-and-archive/upcoming-events/https://adam-3bian.github.io/news-and-events/news-and-analysis/press-resources/https://adam-3bian.github.io/news-and-events/news-and-analysis/subscribe-newsletter/https://adam-3bian.github.io/news-and-events/people-and-opportunities/job-opportunities/https://adam-3bian.github.io/news-and-events/people-and-opportunities/speakers/https://adam-3bian.github.io/news/https://adam-3bian.github.io/news/a-new-etsi-standard-could-rewrite-the-memory-safety-debate/https://adam-3bian.github.io/news/ai-has-compressed-the-attack-timeline/https://adam-3bian.github.io/news/amid-rising-cyber-threats-ensilica-joins-the-cheri-alliance-to-enable-safe-secure-silicon/https://adam-3bian.github.io/news/behind-the-scenes-inside-the-promotion-and-ambassador-program-working-group/https://adam-3bian.github.io/news/beyond-software-patching/https://adam-3bian.github.io/news/bt-group-joins-the-cheri-alliance-to-advance-cybersecurity-innovation/https://adam-3bian.github.io/news/building-a-safer-digital-future/https://adam-3bian.github.io/news/cheri-alliance-officially-launches-adds-major-partners-including-google-to-tackle-cybersecurity-threats-at-the-hardware-level/https://adam-3bian.github.io/news/cheri-alliance-to-distribute-arm-morello-boards-the-journey-beyond-dsbd-continues/https://adam-3bian.github.io/news/cheri-memory-safety-mitigates-llm-discovered-vulnerability-in-freebsd/https://adam-3bian.github.io/news/cheri-or-cheriot-the-answer-is-not-what-you-think/https://adam-3bian.github.io/news/cheri-sel4-and-cheri-microkit-released/https://adam-3bian.github.io/news/cheri-tag-bit-transport-overlay-standard-version-0-9-released/https://adam-3bian.github.io/news/cheri-zephyr-v0-4-0-release/https://adam-3bian.github.io/news/cheriot-1-0-specification-released/https://adam-3bian.github.io/news/cheriot-ibex-core-is-open-sourced-to-enable-memory-safe-mcus/https://adam-3bian.github.io/news/codasip-enables-secure-linux-by-donating-cheri-risc-v-sdk-to-the-cheri-alliance/https://adam-3bian.github.io/news/codasip-powers-uk-digital-security-by-design-innovation-contracts-with-cheri-technology/https://adam-3bian.github.io/news/combatting-the-ai-threat-with-cheri/https://adam-3bian.github.io/news/cybersecurity-by-design-from-research-to-industry-conference-report/https://adam-3bian.github.io/news/end-users-demand-memory-safety-in-their-systems/https://adam-3bian.github.io/news/iceni-first-look/https://adam-3bian.github.io/news/initial-members-join-cheri-alliance-to-drive-adoption-of-memory-safety-and-scalable-software-compartmentalization/https://adam-3bian.github.io/news/innovate-uk-project-winner-university-of-birmingham/https://adam-3bian.github.io/news/introducing-the-cheri-adoption-global-ecosystem-assessment-q1-2026/https://adam-3bian.github.io/news/iotsf-techworks-resilient-iot-and-trustworthy-ai-conferences/https://adam-3bian.github.io/news/lowrisc-and-partners-to-deliver-commercial-quality-open-source-cheri-secure-enclave-with-innovateuk-support/https://adam-3bian.github.io/news/lowrisc-and-sci-semiconductor-release-sunburst-chip-repository-for-secure-microcontroller-development/https://adam-3bian.github.io/news/new-innovateuk-funded-project-to-merge-cheri-support-into-freebsd/https://adam-3bian.github.io/news/one-bug-is-all-it-takes/https://adam-3bian.github.io/news/press/https://adam-3bian.github.io/news/recent-advances-in-cheri-enhancing-stability-maturity-and-accessibility-as-urged-by-the-uks-dstl/https://adam-3bian.github.io/news/sci-semiconductor-and-the-cheri-alliance-at-risc-v-summit-in-china-july-2025/https://adam-3bian.github.io/news/secure-and-resilient-systems-in-the-era-of-cra-and-iot/https://adam-3bian.github.io/news/several-cheri-alliance-members-win-the-dsbd-competition-to-deliver-new-cheri-chips-and-software/https://adam-3bian.github.io/news/siemens-joins-the-cheri-alliance-a-united-front-for-cutting-edge-cybersecurity/https://adam-3bian.github.io/news/streamlining-the-cheri-ecosystem-an-update-from-the-repository-management-working-group/https://adam-3bian.github.io/news/the-capable-hub-joins-the-cheri-alliance-to-accelerate-cybersecurity-collaboration/https://adam-3bian.github.io/news/the-eu-cyber-resilience-act-what-it-means-for-secure-by-design-systems-and-cheri/https://adam-3bian.github.io/news/the-leading-root-of-trust-now-integrates-cheri-security-technology/https://adam-3bian.github.io/news/the-white-house-promotes-cheri-as-a-solution-for-memory-safety/https://adam-3bian.github.io/news/towards-a-reference-qemu-for-cheri-platform-emulation/https://adam-3bian.github.io/news/uk-government-report-highlights-the-cheri-alliance/https://adam-3bian.github.io/news/unlocking-the-future-a-roadmap-for-cheri-technology-advancement/https://adam-3bian.github.io/news/why-codasip-went-all-in-on-cheri/https://adam-3bian.github.io/news/wind-river-joins-the-cheri-alliance/https://adam-3bian.github.io/news/working-group-spotlight-marketing/https://adam-3bian.github.io/news/you-just-missed-the-cheritech25-conference-but-wait-you-can-still-attend-the-virtual-replay/https://adam-3bian.github.io/organisations/https://adam-3bian.github.io/organisations/3bian/https://adam-3bian.github.io/organisations/ararat-river-consulting-llc/https://adam-3bian.github.io/organisations/aria/https://adam-3bian.github.io/organisations/arm/https://adam-3bian.github.io/organisations/axiomise-ltd/https://adam-3bian.github.io/organisations/bt-group/https://adam-3bian.github.io/organisations/cantech-informatics-srl/https://adam-3bian.github.io/organisations/capabilities-limited/https://adam-3bian.github.io/organisations/centrale-supelec/https://adam-3bian.github.io/organisations/cheri-alliance/https://adam-3bian.github.io/organisations/chevin-technology/https://adam-3bian.github.io/organisations/codasip/https://adam-3bian.github.io/organisations/configured-things/https://adam-3bian.github.io/organisations/critical-technologies/https://adam-3bian.github.io/organisations/cyberwhiz/https://adam-3bian.github.io/organisations/cynam/https://adam-3bian.github.io/organisations/digital-catapult/https://adam-3bian.github.io/organisations/discribehub/https://adam-3bian.github.io/organisations/dsit/https://adam-3bian.github.io/organisations/dstl/https://adam-3bian.github.io/organisations/durham-university/https://adam-3bian.github.io/organisations/ensilica/https://adam-3bian.github.io/organisations/ericsson/https://adam-3bian.github.io/organisations/european-commission-dg-connect/https://adam-3bian.github.io/organisations/freebsd-foundation/https://adam-3bian.github.io/organisations/german-research-center-for-artificial-intelligence-dfki/https://adam-3bian.github.io/organisations/google/https://adam-3bian.github.io/organisations/hildebrand/https://adam-3bian.github.io/organisations/instituto-superior-de-engenharia-do-porto/https://adam-3bian.github.io/organisations/johannes-kepler-university-linz/https://adam-3bian.github.io/organisations/king-abdullah-university-of-science-and-technology-kaust/https://adam-3bian.github.io/organisations/ku-leuven/https://adam-3bian.github.io/organisations/light-momentum-technology-corp/https://adam-3bian.github.io/organisations/lowrisc/https://adam-3bian.github.io/organisations/microservice-store/https://adam-3bian.github.io/organisations/minerva-systems/https://adam-3bian.github.io/organisations/misra/https://adam-3bian.github.io/organisations/mission-critical-applications-limited/https://adam-3bian.github.io/organisations/national-taiwan-university/https://adam-3bian.github.io/organisations/ncsc/https://adam-3bian.github.io/organisations/novomorphic/https://adam-3bian.github.io/organisations/nquiringminds/https://adam-3bian.github.io/organisations/pa-consulting/https://adam-3bian.github.io/organisations/parvat-infotech/https://adam-3bian.github.io/organisations/risc-v-international/https://adam-3bian.github.io/organisations/rptu/https://adam-3bian.github.io/organisations/sci-semiconductor/https://adam-3bian.github.io/organisations/sensor-it/https://adam-3bian.github.io/organisations/siemens/https://adam-3bian.github.io/organisations/smart-information-flow-technologies-sift/https://adam-3bian.github.io/organisations/sri/https://adam-3bian.github.io/organisations/swansea-university/https://adam-3bian.github.io/organisations/tccoe/https://adam-3bian.github.io/organisations/techworks/https://adam-3bian.github.io/organisations/the-capable-hub/https://adam-3bian.github.io/organisations/the-good-penguin/https://adam-3bian.github.io/organisations/the-university-of-manchester/https://adam-3bian.github.io/organisations/ukri/https://adam-3bian.github.io/organisations/um-labs/https://adam-3bian.github.io/organisations/university-of-birmingham/https://adam-3bian.github.io/organisations/university-of-cambridge/https://adam-3bian.github.io/organisations/university-of-edinburgh/https://adam-3bian.github.io/organisations/university-of-exeter/https://adam-3bian.github.io/organisations/university-of-glasgow/https://adam-3bian.github.io/organisations/university-of-kent/https://adam-3bian.github.io/organisations/university-of-modena-and-reggio-emilia/https://adam-3bian.github.io/organisations/verisilicon/https://adam-3bian.github.io/organisations/wind-river/https://adam-3bian.github.io/organisations/wyvern-global/https://adam-3bian.github.io/organisations/zaya/https://adam-3bian.github.io/people/https://adam-3bian.github.io/people/a-theodore-markettos/https://adam-3bian.github.io/people/adam-finney/https://adam-3bian.github.io/people/alastair-beresford/https://adam-3bian.github.io/people/alex-rebert/https://adam-3bian.github.io/people/alex-richardson/https://adam-3bian.github.io/people/alexander-voyevoda/https://adam-3bian.github.io/people/alexandre-joannou/https://adam-3bian.github.io/people/alfredo-mazzinghi/https://adam-3bian.github.io/people/allison-randal/https://adam-3bian.github.io/people/andrew-lindsay/https://adam-3bian.github.io/people/andrew-murray/https://adam-3bian.github.io/people/andy-moore/https://adam-3bian.github.io/people/anthony-fox/https://adam-3bian.github.io/people/ashish-darbari/https://adam-3bian.github.io/people/ben-fletcher/https://adam-3bian.github.io/people/ben-laurie/https://adam-3bian.github.io/people/bradley-finn/https://adam-3bian.github.io/people/brett-f-gutstein/https://adam-3bian.github.io/people/brian-campbell/https://adam-3bian.github.io/people/brooks-davis/https://adam-3bian.github.io/people/carl-shaw/https://adam-3bian.github.io/people/dave-harcourt/https://adam-3bian.github.io/people/david-chisnall/https://adam-3bian.github.io/people/david-musliner/https://adam-3bian.github.io/people/dmitriy-yeliseyev/https://adam-3bian.github.io/people/domagoj-stolfa/https://adam-3bian.github.io/people/donato-ferraro/https://adam-3bian.github.io/people/edoardo-marangoni/https://adam-3bian.github.io/people/edward-tomasz-napieraa/https://adam-3bian.github.io/people/gavin-ferris/https://adam-3bian.github.io/people/graeme-barnes/https://adam-3bian.github.io/people/graeme-jenkinson/https://adam-3bian.github.io/people/hamed-okhravi/https://adam-3bian.github.io/people/haydn-povey/https://adam-3bian.github.io/people/hesham-almatary/https://adam-3bian.github.io/people/hongyan-xia/https://adam-3bian.github.io/people/hugo-lefeuvre/https://adam-3bian.github.io/people/hugo-vincent/https://adam-3bian.github.io/people/ian-stark/https://adam-3bian.github.io/people/javier-orensanz-martinez/https://adam-3bian.github.io/people/jennifer-jackson/https://adam-3bian.github.io/people/jeremy-singer/https://adam-3bian.github.io/people/jessica-clarke/https://adam-3bian.github.io/people/jianyi-cheng/https://adam-3bian.github.io/people/jim-wallace/https://adam-3bian.github.io/people/johannes-muller/https://adam-3bian.github.io/people/john-baldwin/https://adam-3bian.github.io/people/john-goodacre/https://adam-3bian.github.io/people/john-thomson/https://adam-3bian.github.io/people/jonathan-anderson/https://adam-3bian.github.io/people/jonathan-woodruff/https://adam-3bian.github.io/people/joshua-lant/https://adam-3bian.github.io/people/ka-wing-li/https://adam-3bian.github.io/people/kathleen-fisher/https://adam-3bian.github.io/people/kayvan-memarian/https://adam-3bian.github.io/people/kevin-brodsky/https://adam-3bian.github.io/people/khilan-gudka/https://adam-3bian.github.io/people/konrad-witaszczyk/https://adam-3bian.github.io/people/kunyan-liu/https://adam-3bian.github.io/people/kyndylan-nienhuis/https://adam-3bian.github.io/people/laurence-tratt/https://adam-3bian.github.io/people/louis-emile-ploix/https://adam-3bian.github.io/people/luca-muller/https://adam-3bian.github.io/people/lucian-paul-trifu/https://adam-3bian.github.io/people/maika-fohrenbach/https://adam-3bian.github.io/people/manu-ravishankar/https://adam-3bian.github.io/people/margo-seltzer/https://adam-3bian.github.io/people/maricel-ventura/https://adam-3bian.github.io/people/mark-batty/https://adam-3bian.github.io/people/mark-hill/https://adam-3bian.github.io/people/mark-johnston/https://adam-3bian.github.io/people/marno-van-der-maas/https://adam-3bian.github.io/people/martin-atkins/https://adam-3bian.github.io/people/matthew-naylor/https://adam-3bian.github.io/people/merve-gulmez/https://adam-3bian.github.io/people/michael-roe/https://adam-3bian.github.io/people/mihai-ordean/https://adam-3bian.github.io/people/mike-eftimakis/https://adam-3bian.github.io/people/mike-halsall/https://adam-3bian.github.io/people/munraj-vadera/https://adam-3bian.github.io/people/murali-vijayaraghavan/https://adam-3bian.github.io/people/murat-cakmak/https://adam-3bian.github.io/people/nathaniel-wesley-filardo/https://adam-3bian.github.io/people/nirav-dave/https://adam-3bian.github.io/people/oliver-gray/https://adam-3bian.github.io/people/ollie-whitehouse/https://adam-3bian.github.io/people/paul-metzger/https://adam-3bian.github.io/people/paul-waller/https://adam-3bian.github.io/people/peter-cox/https://adam-3bian.github.io/people/peter-g-neumann/https://adam-3bian.github.io/people/peter-rugg/https://adam-3bian.github.io/people/peter-sewell/https://adam-3bian.github.io/people/phil-day/https://adam-3bian.github.io/people/ricardo-almeida/https://adam-3bian.github.io/people/richard-grisenthwaite/https://adam-3bian.github.io/people/robert-m-norton/https://adam-3bian.github.io/people/robert-norton-wright/https://adam-3bian.github.io/people/robert-watson/https://adam-3bian.github.io/people/saar-amar/https://adam-3bian.github.io/people/sam-ainsworth/https://adam-3bian.github.io/people/sam-cater/https://adam-3bian.github.io/people/samuel-stark/https://adam-3bian.github.io/people/sarah-harris/https://adam-3bian.github.io/people/simon-moore/https://adam-3bian.github.io/people/stacey-son/https://adam-3bian.github.io/people/steven-j-murdoch/https://adam-3bian.github.io/people/tariq-kurd/https://adam-3bian.github.io/people/thierno-sene/https://adam-3bian.github.io/people/thomas-bauereiss/https://adam-3bian.github.io/people/thomas-nyman/https://adam-3bian.github.io/people/timothy-m-jones/https://adam-3bian.github.io/people/tony-chen/https://adam-3bian.github.io/people/tora-fridholm/https://adam-3bian.github.io/people/vadim-zaliva/https://adam-3bian.github.io/people/yucong-tao/https://adam-3bian.github.io/policies/https://adam-3bian.github.io/policies/code-of-conduct/https://adam-3bian.github.io/policies/competition-law-statement/https://adam-3bian.github.io/policies/export-controls/https://adam-3bian.github.io/policies/intellectual-property-policy/https://adam-3bian.github.io/policies/policy-briefings/https://adam-3bian.github.io/policies/privacy/https://adam-3bian.github.io/policies/trademark-policy/https://adam-3bian.github.io/policies/trademark/https://adam-3bian.github.io/reference/CHERI-seL4-Exercises/appendix/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/buffer-overflow-global/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/buffer-overflow-stack/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/buffer-overflow-stack/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/cheri-allocator/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/cheri-allocator/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/cheri-tags/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/cheri-tags/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/compile-and-run/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/compile-and-run/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/control-flow-pointer/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/control-flow-pointer/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/debug-and-disassemble/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/debug-and-disassemble/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/subobject-bounds/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/subobject-bounds/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/type-confusion/answers.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/exercises/type-confusion/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/introduction/background.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/introduction/ccc.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/introduction/cross-compilation-execution.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/introduction/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/missions/buffer-overflow-control-flow/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/missions/index.htmlhttps://adam-3bian.github.io/reference/CHERI-seL4-Exercises/missions/uninitialized-stack-frame-control-flow/index.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/goals/bootloaders-firmware.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/goals/distros.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/goals/emulation-crossbuild.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/goals/index.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/goals/kernel.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/goals/testing.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/goals/toolchain.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/goals/user-space.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/intro.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/prior-work.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/research.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/techreports.htmlhttps://adam-3bian.github.io/reference/linux-roadmap/toc.htmlhttps://adam-3bian.github.io/reports/https://adam-3bian.github.io/reports/an-introduction-to-cheri/https://adam-3bian.github.io/reports/assessing-the-viability-of-an-open-source-cheri-desktop-software-ecosystem/https://adam-3bian.github.io/reports/cheri-adoption-and-diffusion-research/https://adam-3bian.github.io/reports/cheri-technology-for-cyber-security/https://adam-3bian.github.io/reports/digital-security-by-design-programme-outcomes/https://adam-3bian.github.io/search/https://adam-3bian.github.io/software/https://adam-3bian.github.io/software/cheri-linux/https://adam-3bian.github.io/software/cheribsd/https://adam-3bian.github.io/software/debugging-tools/https://adam-3bian.github.io/software/freebsd/https://adam-3bian.github.io/software/llvm-and-clang/https://adam-3bian.github.io/software/porting-status/https://adam-3bian.github.io/software/real-time-operating-systems/https://adam-3bian.github.io/software/rust/https://adam-3bian.github.io/software/simulators/https://adam-3bian.github.io/software/zephyr/https://adam-3bian.github.io/working-groups/https://adam-3bian.github.io/working-groups/certification-working-group/https://adam-3bian.github.io/working-groups/cheri-c-cplusplus/https://adam-3bian.github.io/working-groups/cheri-for-sel4/https://adam-3bian.github.io/working-groups/cheri-freertos/https://adam-3bian.github.io/working-groups/cheri-in-soc/https://adam-3bian.github.io/working-groups/cheri-linux-working-group/https://adam-3bian.github.io/working-groups/cheri-plus-safety/https://adam-3bian.github.io/working-groups/cheri-qemu/https://adam-3bian.github.io/working-groups/cheri-research/https://adam-3bian.github.io/working-groups/cheri-virtual-machines/https://adam-3bian.github.io/working-groups/cheri-zephyr/https://adam-3bian.github.io/working-groups/marketing/https://adam-3bian.github.io/working-groups/mmu-less-systems/https://adam-3bian.github.io/working-groups/os-support-and-portability/https://adam-3bian.github.io/working-groups/promotion-and-ambassador-program/https://adam-3bian.github.io/working-groups/repository-management/https://adam-3bian.github.io/working-groups/rust-plus-cheri/