Hellooo! Practice makes perfect. Here is hosted my memo tracking my practices of study! I will try to keep them organized. However, they will look like memory flakes while my interests keep changing and expanding.
How to remove Compilers from trusted computing base, especially when compiler are heavily used for security solutions?
What is proof carrying code? How to generate such code?
Automatic program partition?
Automatic program partition for privilege separation?
Automatic program partition for parallelism?
How does it looks like if all kinds of human activities are assisted and/or replaced by AI?
| cmt # | Date | Description |
|---|---|---|
| - | Mon, 27 Feb 2023 23:37:40 CST(+0800) | up to date |
| 1684 | Mon, 27 Feb 2023 20:37:55 +0800 | todo capmode in cheri |
| 1683 | Mon, 27 Feb 2023 20:33:24 +0800 | verilog module syntax |
| 1682 | Mon, 27 Feb 2023 20:24:17 +0800 | UPEC: auto derived model. But how? |
| 1681 | Thu, 23 Feb 2023 11:35:00 +0800 | todo upec continuing |
| 1680 | Wed, 22 Feb 2023 21:15:40 +0800 | ibex and cheri-ibex notes |
| 1679 | Wed, 22 Feb 2023 12:01:18 +0800 | Merge branch ‘master’ |
| 1678 | Wed, 22 Feb 2023 12:00:55 +0800 | updates: ibex todo; move sonic-boom to riscv/sonic-boom; verilog notes |
| 1677 | Mon, 20 Feb 2023 14:19:21 +0800 | cheriot |
| 1676 | Thu, 16 Feb 2023 21:17:23 +0800 | todo upec cheri iot |
| 1675 | Tue, 14 Feb 2023 11:17:34 +0800 | upec – ctl – path quantifiers and linear-time operators |
| 1674 | Wed, 8 Feb 2023 17:03:15 +0800 | updates - update Readme.md - update default, use ## title - add j-ext for riscv - todo upec paper for detecting side channels in arch using fm - update asan notes |
| 1673 | Wed, 8 Feb 2023 10:04:33 +0800 | reorder docs: |
| 1672 | Tue, 7 Feb 2023 12:06:40 +0800 | add symbols, math 220 duality |
| 1671 | Tue, 7 Feb 2023 11:23:23 +0800 | math 220 update; sf class link |
| 1670 | Tue, 7 Feb 2023 10:53:35 +0800 | add video links |
| 1669 | Tue, 7 Feb 2023 10:49:12 +0800 | add class links from peking: sa and sf |
| 1668 | Thu, 2 Feb 2023 17:56:26 +0800 | software foudation class from xiong yingfei |
| 1667 | Tue, 31 Jan 2023 15:48:04 +0800 | hoare triples; boolean exprs; |
| 1666 | Sun, 29 Jan 2023 14:58:28 +0800 | intro cheri |
| 1665 | Sun, 29 Jan 2023 13:59:36 +0800 | inductive reasoning vs deductive reasoning, examples |
| 1664 | Sun, 29 Jan 2023 10:22:33 +0800 | fm class: equality, func evaluation |
| 1663 | Fri, 20 Jan 2023 18:10:45 +0800 | logics: class notes |
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?