HackerTrans
TopNewTrendsCommentsPastAskShowJobs

fuklief

no profile record

Submissions

Codasip delivers processor security to actively prevent most common cyberattacks

codasip.com
1 points·by fuklief·قبل 3 سنوات·0 comments

CHERIoT: Complete Memory Safety for Embedded Devices [pdf]

cheriot.org
3 points·by fuklief·قبل 3 سنوات·0 comments

Tillitis TKey

shop.tillitis.se
3 points·by fuklief·قبل 3 سنوات·0 comments

Information Flow Control Challenge

ifc-challenge.appspot.com
1 points·by fuklief·قبل 4 سنوات·0 comments

Linux for Cheri RISC-V

github.com
3 points·by fuklief·قبل 4 سنوات·0 comments

comments

fuklief
·قبل سنتين·discuss
> It's better to use a constant time algorithm, but that's harder to do in a curve generic way and has a pretty significant performance impact (particular before the safegcd paper).

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?
fuklief
·قبل 3 سنوات·discuss
I didn't know US/UK gov were against hybrids. AFAIU, the French and Germans are recommending hybrids as a first step before stand alone PQC [0].

[0]: https://cyber.gouv.fr/en/publications/follow-position-paper-...
fuklief
·قبل 3 سنوات·discuss
This survey by the same author also provides a good comparison https://saaramar.github.io/memory_safety_blogpost_2022/
fuklief
·قبل 3 سنوات·discuss
I believe it means flattening the AST, here is a nice blog post about this technique https://www.cs.cornell.edu/~asampson/blog/flattening.html
fuklief
·قبل 3 سنوات·discuss
I personally did not know about classes prépa before the last year of high school. I will forever be thankful for my maths teacher who told me about it that year, since I would have probably slacked off at university.
fuklief
·قبل 3 سنوات·discuss
- Make them good at science, i.e., Maths and Physics.

- 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
·قبل 3 سنوات·discuss
Maybe they thought it's spelled "your" instead of "you're".
fuklief
·قبل 3 سنوات·discuss
> Google put in significant engineering effort into "Ryu", a parsing library for double-precision floating point numbers: https://github.com/ulfjack/ryu

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 سنوات·discuss
See CHERI and Arm Morello https://www.arm.com/blogs/blueprint/morello
fuklief
·قبل 3 سنوات·discuss
> Probably was some dude’s L7 promo project in AWS.

Actually a former CS prof at Maryland moving to industry. https://mhicks.me/
fuklief
·قبل 3 سنوات·discuss
> In other words, CHERI can reduce memory-unsafety related slowdowns by two thirds, which is pretty incredible. AMD CPUs are even starting to have hardware support for it, bringing its run-time overhead down to 6.8%.

Source on AMD CPUs having support for CHERI-style capabilities ? Afaik, there is only the Arm Morello prototype out right now and FPGAs.
fuklief
·قبل 4 سنوات·discuss
I believe it means High Level Synthesis in this context.
fuklief
·قبل 4 سنوات·discuss
You might be interested in [Catala](https://catala-lang.org/en/), a domain specific language for implementing legislative texts. Iirc, they have worked on the french tax code, and are starting on the us one now.