fuklief | 1 year ago | on: EUCLEAK Side-Channel Attack on the YubiKey 5 Series
fuklief's comments
fuklief | 2 years ago | on: Double encryption: Analyzing the NSA/GCHQ arguments against hybrids
[0]: https://cyber.gouv.fr/en/publications/follow-position-paper-...
fuklief | 2 years ago | on: Enable ARMv9 Memory Tagging Extension (MTE) on Pixel 8
fuklief | 2 years ago | on: Compiler Development: Rust or OCaml?
fuklief | 2 years ago | on: Nvidia’s CEO Is the Uncle of AMD’s CEO
fuklief | 2 years ago | on: Nvidia’s CEO Is the Uncle of AMD’s CEO
- Get them into a decent high school, e.g., Henri 4 or Louis Le Grand in Paris.
- Hope they have good grades and manage to get into a good preparatory class [1], e.g., Henri 4, Louis Le Grand in Paris, or Hoche and Sainte-Geneniève in Versailles.
- Make sure they don't slack off, and hope they get into a good engineer school, e.g., Ecole Polytechnique, Ecole des Mines, Ecole Nationale des Ponts et Chaussés, CentraleSupelec.
(Lists are not exhaustive)
If they manage to get into one of these schools, they will most likely end up not have any difficulty to find a somewhat well-paid job in France.
[1]: https://en.wikipedia.org/wiki/Classe_pr%C3%A9paratoire_aux_g...
fuklief | 2 years ago | on: Your.Online: Gandi continues its development
fuklief | 2 years ago | on: Parquet: An efficient, binary file format for table data
It's not a parsing library, but a printing one, i.e., double -> string. https://github.com/fastfloat/fast_float is a parsing library, i.e., string -> double, not by Google though, but was indeed motivated by parsing JSON fast https://lemire.me/blog/2020/03/10/fast-float-parsing-in-prac...
fuklief | 3 years ago | on: Low-Level Software Security for Compiler Developers
fuklief | 3 years ago | on: AWS Creates New Policy-Based Access Control Language Cedar
Actually a former CS prof at Maryland moving to industry. https://mhicks.me/
fuklief | 3 years ago | on: How Memory safety approaches speed up and slow down development velocity
Source on AMD CPUs having support for CHERI-style capabilities ? Afaik, there is only the Arm Morello prototype out right now and FPGAs.
fuklief | 3 years ago | on: Running Rust on Logic Gates
fuklief | 3 years ago | on: Billing systems are a nightmare for engineers
fuklief | 4 years ago | on: Using Computer Modern on the web (2013)
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[largesc]{newpxtext}
\usepackage{newpxmath}
\usepackage[supsfam=newpx]{superiors}fuklief | 4 years ago | on: SeL4 on RISC-V Verified to Binary Code
[0]: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
fuklief | 4 years ago | on: SeL4 on RISC-V Verified to Binary Code
fuklief | 4 years ago | on: SeL4 on RISC-V Verified to Binary Code
fuklief | 4 years ago | on: Preparing Rustls for Wider Adoption
fuklief | 5 years ago | on: Lion: A formally verified, 5-stage pipeline RISC-V core
But that doesn't matter if how long it takes for your instructions to execute is data independent, no ?
fuklief | 5 years ago | on: Lion: A formally verified, 5-stage pipeline RISC-V core
Crypto noob here, but isn't modular inverse the same as modular exponentiation through Fermat's little theorem? I.e., x^-1 mod n is the same as computing x^{n - 2} mod n which we know how to do in a constant-time way with a Montgomery ladder. Or is that too slow?