Timeline for Malicious tampering of trusted libraries
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 15 at 13:32 | comment | added | Timothy Chow | @AndrejBauer Certainly if there is an unintentional bug in GMP then it will have wide repercussions. However, a malicious version of GMP that is narrowly deployed against a particular target is another matter. | |
| Sep 15 at 13:31 | vote | accept | Timothy Chow | ||
| Sep 15 at 6:34 | comment | added | Andrej Bauer | As usual, a very good and comprehensive answer. Let me just add that it is worth keeping in mind the wider context here. Given the obliquity of GMP, if it has a bug then Lean 4 will be the least of our worries. | |
| Sep 15 at 0:10 | history | edited | Jason Rute | CC BY-SA 4.0 |
deleted 21 characters in body
|
| Sep 15 at 0:02 | history | edited | Jason Rute | CC BY-SA 4.0 |
added 1434 characters in body
|
| Sep 14 at 19:28 | history | edited | Jason Rute | CC BY-SA 4.0 |
added 47 characters in body
|
| Sep 14 at 18:43 | history | edited | Jason Rute | CC BY-SA 4.0 |
deleted 4 characters in body
|
| Sep 14 at 18:32 | history | edited | Jason Rute | CC BY-SA 4.0 |
added 33 characters in body
|
| Sep 14 at 18:23 | history | edited | Jason Rute | CC BY-SA 4.0 |
added 33 characters in body
|
| Sep 14 at 18:17 | history | answered | Jason Rute | CC BY-SA 4.0 |