Skip to content

Civilizing Cyberspace - Fighting for Digital Democracy

Home
Buy Now on Amazon
- SIPantic
  - Mobilizing Small Business
    - Contact Us
  - Trial the App
About Us
Latest Posts
Comments
- Blog

Capability-Limited Software

Object-oriented machine code is the strongest form of capability limited software

Categories

Categories

Recent Comments

Peter Venton OBE, BSc, CEng, MIET - former Major Programme Review Chairman for HMG UK on Digital Democracy
Capers Jones III on Digital Democracy
ken@sipantic on Infallible Automation

SIPantic

Architecture: That an architectural capability-system model can be successfully atom smashed with a contemporary, MMU-enabled ISA such as Armv8-A. Formal methods: That it is possible to formally model and verify the security of that architecture specification, with machine-checked mathematical proof about its full 60,000 line definition, showing it ensures goals such as malicious code confinement, as well as to automatically generate hardware test suites from the same models. Microarchitecture: That an architectural capability-system model can be implemented in a high-performance, industrial quality multicore superscalar processor implementation, including microarchitecture such as CHERI’s compressed capabilities and a tag controller/cache model. Morello is based on Arm’s widely used Neoverse N1 microarchitecture – very much the “real thing” – and achieves 2.5Ghz, its target clock frequency. Memory-safe C/C++: That it is possible to support memory-safe variants o January 27, 2022
https://www.lightbluetouchpaper.org/2022/01/20/arm-releases-experimental-cheri-enabled-morello-board-as-part-of-187m-ukri-digital-security-by-design-programme/
Memory security through secure instructions January 27, 2022
https://www.lightbluetouchpaper.org/2022/01/20/arm-releases-experimental-cheri-enabled-morello-board-as-part-of-187m-ukri-digital-security-by-design-programme/
2021 January 12, 2022
https://go.seclore.com/l/323341/2020-12-16/45wcpk/323341/1608114404qwT6MmZi/WP_Top_6_Data_Security_Predictions_for_2021_20201215_final.pdf?li_fat_id=8ac68148-5d77-468f-afeb-96b87ec3ba40
Computer Security November 17, 2021
Third ICCC 1976 - https://docs.google.com/document/d/e/2PACX-1vQysjBimes0-KTBSQS95vJDux_5A_oolo1YP34-Uzly6xcEy2Gx8zkcPUxwS7i95J2PrDPqWiI5KmG-/pub
BBC News: Pegasus: Spyware sold to governments 'targets activists' July 19, 2021
I saw this on the BBC and thought you should see it:Pegasus: Spyware sold to governments 'targets activists' - https://www.bbc.co.uk/news/technology-57881364* Disclaimer *The BBC is not responsible for the content of this email, and anything written in this email does not necessarily reflect the BBC's views or opinions. Please note that neither the email address nor […]
The 5 mass extinction events that shaped the history of Earth — will the 6th be Cyber failure? Inspired by Live Science May 20, 2021
https://www.livescience.com/mass-extinction-events-that-shaped-Earth.html
PATENT SPECIFICATION (21y Application Na 5994/71 March 1971 March 16, 2021
(2) Complete Separation filed 18 Feb 1972(44) Complex Species published 23 Jan. 1974(31) international Classification GosF11/00( Index a spaceGIA 18 12D 12N 12P 16G 16H 16 1F 4R (72) taveniors CHARLES SAMUEL REPTONPETER CHARLES VENTON and KENNETH JAMES HAMER-HODGES(54) FAULT DETECTION AND HANDLING ARRANGEMENTS FOR USE IN DATA PROCESSING SYSTEMS(71) We. THE PLESSEY COMPANY dundancy. […]
Welcome to the era of the mega-hack | ZDNet March 15, 2021
https://www.zdnet.com/article/welcome-to-the-era-of-the-mega-hack/
On-board diagnostics - Wikipedia January 30, 2021
https://en.m.wikipedia.org/wiki/On-board_diagnostics#OBD-II_diagnostic_connector
Download UF2 file January 30, 2021
https://www.raspberrypi.org/documentation/pico/getting-started/static/5d8e777377e8dbe23cf36360d6efc727/pico_micropython_20210121.uf2

Dates

May 2022
M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31

« Jul

Dates

May 2022
M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31

« Jul

Categories

Capabilities
Uncategorized

Archives

July 2019 (9)
February 2019 (1)

WordPress Theme | SquarePress by HashThemes