Filesystem encryption: updates

config.toml

@@ -10,6 +10,9 @@ minify_html = false
 
 author = "tuxmain"
 
+# Do not copy assets in each locale, use hard links instead
+hard_link_static = true
+
 [slugify]
 paths = "off"
 taxonomies = "off"

content/_index.md

@@ -8,7 +8,7 @@ title = "homepage"
 
 * Human being until proven otherwise;
 * a.k.a. Pascal Engélibert;
-* Libre developper, PhD student at INSA Lyon;
+* Libre developer, PhD student at INSA Lyon;
 * Master degree of cryptology & computer security;
 * Rust, C, Python, PHP, web, French, English, Spanish, Esperanto;
 * Prefers tabulations;

content/blog/flash-filesystem-encryption/index.md

@@ -51,7 +51,7 @@ $$C = E(K, P)$$
 This mode of operation is called ECB for Electronic Code Book. It has, however, fatal flaws:
 
 * If two blocks are identical, an adversary can spot them and learn information.
-* A adversary who has access to an encryption oracle (i.e. they can obtain the ciphertext from a plaintext, that could happen if you store incoming messages in the encrypted files) can try different values and decrypt other blocks by bruteforcing well-known formats.
+* An adversary who has access to an encryption oracle (i.e. they can obtain the ciphertext from a plaintext, that could happen if you store incoming messages in the encrypted files) can try different values and decrypt other blocks by bruteforcing well-known formats.
 
 ECB alone is almost never a good idea.
 
@@ -184,15 +184,15 @@ Here are the benchmark results (encrypting 100 times 128kB):
 | XTS  | unaligned u128 LE | 8                    | 2499              | 2448               |
 | XTS  | unaligned u128 LE | 16                   | 2399              | 2445               |
 | XTS  | unaligned u128 LE | 32                   | 2373              | 2420               |
-| XTS  | unaligned u128 LE | 64                   | 2361              | 2408               |
+| XTS  | unaligned u128 LE | 64                   | 2361              | **2408** ⭐        |
 | XTS  | aligned u128      | 8                    | 2549              | 2447               |
 | XTS  | aligned u128      | 16                   | 2449              | 2445               |
 | XTS  | aligned u128      | 32                   | 2424              | 2420               |
-| XTS  | aligned u128      | 64                   | 2412              | 2408               |
+| XTS  | aligned u128      | 64                   | 2412              | **2408** ⭐        |
 | XTS  | [u32; 4]          | 8                    | 2495              | 2493               |
 | XTS  | [u32; 4]          | 16                   | 2395              | 2490               |
 | XTS  | [u32; 4]          | 32                   | 2370              | 2465               |
-| XTS  | [u32; 4]          | 64                   | 2357              | 2453               |
+| XTS  | [u32; 4]          | 64                   | **2357** ⭐       | 2453               |
 
 The fastest is XTS with one key (and salted sector number) and long sectors.
 
@@ -202,7 +202,9 @@ Sectors must not be too long, however, as random access to block j needs computi
 
 Damn, I forgot to tell about erasing and programming flash memories!
 
-Flash memories work in a peculiar way: you first have to erase some part of the memory (by filling it with ones) then you can write data by replacing some zeros with ones. But that's not all. Each operation has a minimum size. You can generally (it depends on the chip) program down to 16 bytes, but you can only erase by chunks of (again, generally) 512 bytes! 
+Flash memories work in a peculiar way: you first have to erase some part of the memory (by filling it with ones) then you can write data by replacing some ones with zeros (that's called "programming"). But that's not all. Each operation has a minimum size. You can generally (it depends on the chip) program down to 16 bytes, but you can only erase by chunks of (again, generally) 512 bytes!
+
+Therefore, the AES 16-byte blocks minimize useless writes. That's ideal.
 
 ## The key
 

content/links/index.fr.md

@@ -0,0 +1,207 @@
++++
+title = "Liens intéressants"
+insert_anchor_links = "left"
++++
+
+![Illustration picture: aligned arch doors and bookshelves with old books in a library](illustration.webp)
+
+_Illustration: CC By-SA 3.0 par [Linsengericht sur Wikimedia Commons](https://commons.wikimedia.org/wiki/File:Kulissenbibliothek_Franckesche_Stiftungen_1.JPG)_
+
+Voici plein de trucs chouette. Cherchez un mot-clé avec `CTRL+F`.
+
+Mots-clés : astronomie, BD, blog, féminisme, fun, histoire, maths, philo, physique, podcast, politique, santé, scepticisme, science, sociologie, technologie, vidéo
+
+La langue est indiquée entre parenthèses. Leur absence signifie une disponibilité dans plein de langues.
+
+> Astuce : Tous ces sites et chaînes ont des flux RSS auxquels vous pouvez vous abonner, en utilisant une extension du navigateur, [Thunderbird](https://thunderbird.net) ou un logiciel dédié.
+
+## (fr) [Affordance](https://affordance.framasoft.org/)
+
+blog, politique, technologie
+
+Articles sur l'écologie, la politique, le capitalisme, les libertés informatiques...
+
+## (fr) [Au Poste](https://video.davduf.net/videos/browse)
+
+politique, vidéo
+
+Interviews qui prennent le temps sur des sujets politiques.
+
+## (fr) [Blast](https://video.blast-info.fr/)
+
+politique, vidéo
+
+Émissions d'actualité politique, interviews sur la sociologie, le militantisme.
+
+## (en) [Buttersafe](https://www.buttersafe.com/)
+
+BD, fun
+
+BDs absurdes mais irrésistibles.
+
+## (fr) [Comme un poisson dans l'eau](https://youtube.com/channel/UCfzKqH_Ft8_8yFrGzG3x9-g)
+
+philosophie, podcast, politique, science
+
+Sur le sentientisme, le véganisme, le carnisme...
+
+## [Contrachrome](https://contrachrome.com/)
+
+BD, politique, technologie
+
+Sur les stratégies de Google pour devenir un monopole et violer notre vie privée.
+
+## (fr) [Les couilles sur la table](https://podcloud.fr/podcast/les-couilles-sur-la-table)
+
+podcast, politique, sociologie, féminisme
+
+Podcast hebdomadaire qui questionne la masculinité d'un point de vue féministe.
+Probablement la meilleure chose à écouter si la question vous intéresse mais ne savez pas par où commencer.
+
+## (fr) [Deus Ex Silicium](https://youtube.com/channel/UCH6ppHEvV3_WIXEwmhv9HEg)
+
+technologie, vidéo
+
+Démontage et analyse de produits électroniques et de circuits intégrés.
+
+## (en) [Dhole Moments](https://soatok.blog/)
+
+blog, technologie
+
+Informatique, sécurité, cryptographie, et furries.
+
+## (en) [Dr. Becky](https://www.youtube.com/drbecky)
+
+physique, astronomie, science, vidéo
+
+Vulgarisation d'astrophysique et actualités en astronomie.
+
+## (fr) [Emma](https://emmaclit.com/)
+
+blog, BD, santé, politique
+
+Articles et BDs féministes qui parlent d'intersectionnalité, de politique, de discriminations...
+
+## (en) [Extra Ordinary](https://www.exocomics.com/)
+
+BD, fun
+
+BDs sur des trucs à la fois extra ordinaires et très mignons.
+
+## (fr) [Fouloscopie](https://youtube.com/channel/UCLXDNUOO3EQ80VmD9nQBHPg)
+
+science, vidéo
+
+Vidéos de vulgarisation par un chercheur sur les foules, avec plein d'expériences, bien expliquées et illustrées.
+
+## (fr) [Grisebouille](https://grisebouille.net/)
+
+blog, BD, fun, politique, technologie
+
+BDs et articles sur les libertés informatiques, la technologie, la science, et d'autres geekeries absurdes. Aussi les dernières lubies anti-Internet de notre classe politique. (sous licence libre !)
+
+## (fr) [Histony](https://skeptikon.fr/c/0a0f33b2-1715-42b8-aab8-442fb17e1c98/videos)
+
+blog, histoire, vidéo
+
+Longues vidéos d'histoire (surtout française), critiques et détaillées mais agréables à écouter.
+
+## (fr) [Méta de Choc](https://skeptikon.fr/a/metadechoc/vidéo-channels)
+
+podcast, science, scepticisme
+
+Interviews avec des personnes concernées et des chercheureuses sur la pensée critique, les dérives sectaires, la santé mentale...
+
+## (fr) [Monsieur Bidouille](https://video.monsieurbidouille.fr/)
+
+technologie, vidéo
+
+Vidéos de vulgarisation technique sur l'électronique et la physique, des inventions folles et des infrastructures et procédés industriels importants et intéressants.
+
+## (fr) [Monsieur Phi](https://youtube.com/channel/UCqA8H22FwgBVcF3GJpp0MQw)
+
+philosophie, vidéo
+
+La philosophie comme j'aurais aimé la voir en classe.
+
+## (en) [No Boilerplate](https://youtube.com/channel/UCUMwY9iS8oMyWDYIe6_RmoA)
+
+fun, podcast, technologie, vidéo
+
+"Fast, technical videos" sur la programmation (surtout en Rust). Aussi des podcasts de fiction et un peu de neurodiversité.
+
+Je recommande le podcast [Lost Terminal](https://lostterminal.com/): point de vue d'une IA perdue dans un monde postapocalyptique où le radio-amateurisme est le principal moyen de communication, et qui apprend à vivre avec des humains et d'autres IAs.
+
+## (en) [Oglaf](https://www.oglaf.com/)
+
+BD, fun
+
+(pour adultes)
+
+## (en) [PBS Spacetime](https://youtube.com/channel/UC7_gcs09iThXybpVgjHZ_7g)
+
+physique, science, vidéo
+
+Vidéos de vulgarisation (ardue) de physique quantique, astronomie et cosmologie.
+
+## [Pepper and Carrot](https://www.peppercarrot.com/)
+
+BD, fun
+
+Les aventures d'une sorcière, magnifiquement dessinées. (sous licence libre !)
+
+## (fr) [PsykoCouac](https://youtube.com/channel/UCsE6tdKFV2oSHFyDll72rWg)
+
+santé, science, vidéo
+
+Vidéos de vulgarisation de psychologie (par un vrai psychologue).
+
+## (en) [The Perry Bible Fellowship](https://pbfcomics.com/)
+
+BD, fun
+
+Courtes BDs d'une géniale ironie.
+
+## (en) [Pluralistic](https://pluralistic.net/)
+
+blog, politique, technologie
+
+Le blog de Cory Doctorow, sur l'emmerdification, les libertés informatiques, la science-fiction...
+
+## (en) [Saturday Morning Breakfast Cereal](https://www.smbc-comics.com/)
+
+BD, fun, philosophie, science, technologie
+
+BDs intéressantes sur absolument tout.
+
+## (fr) [Science Étonnante](https://scienceetonnante.com/)
+
+blog, physique, science, technologie, vidéo
+
+Vidéos claires et détaillées sur la science et la technique, surtout la physique.
+
+## (fr) [Scilabus](https://youtube.com/channel/UCeR8BYZS7IHYjk_9Mh5JgkA)
+
+physique, science, technologie, vidéo
+
+Vidéos particulièrement claires sur des sujets scientifiques variés, tant classiques qu'étonnants, avec des expériences faites maison.
+
+## (en) [Subnormality](https://viruscomix.com/subnormality.html)
+
+BD, fun
+
+Longues BDs qui explorent en profondeur la psychologie complexe des personnages.
+
+## (en) [Three Blue One Brown](https://www.3blue1brown.com/)
+
+maths, science, vidéo
+
+Les maths expliquées clairement à l'aide de superbes animations.
+
+## (en) [xkcd](https://xkcd.com)
+
+BD, fun, philosophie, science, technologie
+
+Une source universelle de citations geek.
+
+Si vous n'avez pas compris, [essayez ça](https://www.explainxkcd.com).

content/links/index.md

@@ -0,0 +1,200 @@
++++
+title = "Cool links"
+insert_anchor_links = "left"
++++
+
+![Illustration : alignement d'arches entre des étagères pleines de vieux livres reliés](illustration.webp)
+
+_Illustration: CC By-SA 3.0 par [Linsengericht sur Wikimedia Commons](https://commons.wikimedia.org/wiki/File:Kulissenbibliothek_Franckesche_Stiftungen_1.JPG)_
+
+Here is some cool stuff. Use search (`CTRL+F`) to filter by keyword.
+
+Existing keywords: astronomy, blog, comic strip, fun, health, history, mathematics, philosophy, physics, podcast, politics, tech, science, skepticism, video
+
+Language is specified between parentheses. No language means that translations are available in many languages.
+
+> Tip: All of these websites and channels do have RSS feeds you can subscribe to, using a browser addon, [Thunderbird](https://thunderbird.net) or another dedicated software.
+
+## (fr) [Affordance](https://affordance.framasoft.org/)
+
+blog, politics, tech
+
+Articles about ecology, politics, capitalism, software freedom...
+
+## (fr) [Au Poste](https://video.davduf.net/videos/browse)
+
+politics, video
+
+Interviews that take the time on political topics.
+
+## (fr) [Blast](https://video.blast-info.fr/)
+
+politics, video
+
+Political news, interviews about sociology, activism.
+
+## (en) [Buttersafe](https://www.buttersafe.com/)
+
+comic strip, fun
+
+Absurd yet lovely comics.
+
+## (fr) [Comme un poisson dans l'eau](https://youtube.com/channel/UCfzKqH_Ft8_8yFrGzG3x9-g)
+
+philosophy, podcast, politics, science
+
+(tr: Like a fish in the water) About sentientism, veganism, carnism...
+
+## [Contrachrome](https://contrachrome.com/)
+
+comic strip, politics, tech
+
+About Google Chrome's strategies for getting monopolistic and violating privacy.
+
+## (fr) [Deus Ex Silicium](https://youtube.com/channel/UCH6ppHEvV3_WIXEwmhv9HEg)
+
+tech, video
+
+Analyze electronic products and integrated circuits.
+
+## (en) [Dhole Moments](https://soatok.blog/)
+
+blog, tech
+
+Software, Security, Cryptography, and Furries.
+
+## (en) [Dr. Becky](https://www.youtube.com/drbecky)
+
+physics, astronomy, science, video
+
+Astrophysics vulgarized, and also news about astronomy in general.
+
+## (fr) [Emma](https://emmaclit.com/)
+
+blog, comic strip, health, politics
+
+Articles and comic strips about feminism, intersectionnality, politics, discriminations...
+
+## (en) [Extra Ordinary](https://www.exocomics.com/)
+
+comic strip, fun
+
+Cute comics about extra ordinary things.
+
+## (fr) [Fouloscopie](https://youtube.com/channel/UCLXDNUOO3EQ80VmD9nQBHPg)
+
+science, video
+
+(tr: Crowdscopy) Videos about crowds by a researcher. Lots of experiments, very well explained and illustrated.
+
+## (fr) [Grisebouille](https://grisebouille.net/)
+
+blog, comic strip, fun, politics, tech
+
+Comic strips and articles about free software, politics, technology, science and other absurd geeky stuff. (libre-licensed!)
+
+## (fr) [Histony](https://skeptikon.fr/c/0a0f33b2-1715-42b8-aab8-442fb17e1c98/videos)
+
+blog, history, video
+
+Long videos about historical subjects (mostly of France), critical and detailed but audible like a story.
+
+## (fr) [Méta de Choc](https://skeptikon.fr/a/metadechoc/video-channels)
+
+podcast, science, skepticism
+
+Interviews of concerned people and researchers about critical thinking, cults, mental health, violences...
+
+## (fr) [Monsieur Bidouille](https://video.monsieurbidouille.fr/)
+
+tech, video
+
+Videos about technical concepts in electronics and physics, crazy inventions, actually useful industrial stuff.
+
+## (fr) [Monsieur Phi](https://youtube.com/channel/UCqA8H22FwgBVcF3GJpp0MQw)
+
+philosophy, video
+
+Philosophy as I would have liked in class.
+
+## (en) [No Boilerplate](https://youtube.com/channel/UCUMwY9iS8oMyWDYIe6_RmoA)
+
+fun, podcast, tech, video
+
+"Fast, technical videos" about programming (lot of Rust). Also fiction podcasts and a bit of neurodiversity.
+
+I recommend the podcast [Lost Terminal](https://lostterminal.com/) about an AI that tries to survive in a postapocalyptic world where amateur radio is the only long-range communication method, and who learns how to live with humans and other AIs.
+
+## (en) [Oglaf](https://www.oglaf.com/)
+
+comic strip, fun
+
+(adult content)
+
+## (en) [PBS Spacetime](https://youtube.com/channel/UC7_gcs09iThXybpVgjHZ_7g)
+
+physics, science, video
+
+Videos about quantum physics, astronomy and cosmology.
+
+## [Pepper and Carrot](https://www.peppercarrot.com/)
+
+comic strip, fun
+
+The adventures of a witch, with wonderful drawings. Libre-licensed!
+
+## (fr) [PsykoCouac](https://youtube.com/channel/UCsE6tdKFV2oSHFyDll72rWg)
+
+health, science, video
+
+Videos about psychology (by an actual psychologist).
+
+## (en) [The Perry Bible Fellowship](https://pbfcomics.com/)
+
+comic strip, fun
+
+Geniously ironic comics.
+
+## (en) [Pluralistic](https://pluralistic.net/)
+
+blog, politics, tech
+
+Cory Doctorow's blog, about enshittification, software freedom, sci-fi...
+
+## (en) [Saturday Morning Breakfast Cereal](https://www.smbc-comics.com/)
+
+comic strip, fun, philosophy, science, tech
+
+Insightful comics about everything.
+
+## (fr) [Science Étonnante](https://scienceetonnante.com/)
+
+blog, physics, science, tech, video
+
+Clear and detailed videos about science and technics, mostly physics.
+
+## (fr) [Scilabus](https://youtube.com/channel/UCeR8BYZS7IHYjk_9Mh5JgkA)
+
+physics, science, tech, video
+
+Very well explained videos about all kinds of scientific subjects, classical or unexpected, with both homemade and professional experiments.
+
+## (en) [Subnormality](https://viruscomix.com/subnormality.html)
+
+comic strip, fun
+
+Long comics that deeply dives into complex characters' psychology.
+
+## (en) [Three Blue One Brown](https://www.3blue1brown.com/)
+
+mathematics, science, video
+
+Maths clearly explained with helpful animations.
+
+## (en) [xkcd](https://xkcd.com)
+
+comic strip, fun, philosophy, science, tech
+
+An almost universal source of geek quotes.
+
+If you don't get it, [try this](https://www.explainxkcd.com).