HackerTrans
TopNewTrendsCommentsPastAskShowJobs

fuklief

no profile record

Submissions

Codasip delivers processor security to actively prevent most common cyberattacks

codasip.com
1 points·by fuklief·3 yıl önce·0 comments

CHERIoT: Complete Memory Safety for Embedded Devices [pdf]

cheriot.org
3 points·by fuklief·3 yıl önce·0 comments

Tillitis TKey

shop.tillitis.se
3 points·by fuklief·3 yıl önce·0 comments

Information Flow Control Challenge

ifc-challenge.appspot.com
1 points·by fuklief·4 yıl önce·0 comments

Linux for Cheri RISC-V

github.com
3 points·by fuklief·4 yıl önce·0 comments

comments

fuklief
·2 yıl önce·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 yıl önce·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 yıl önce·discuss
This survey by the same author also provides a good comparison https://saaramar.github.io/memory_safety_blogpost_2022/
fuklief
·3 yıl önce·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 yıl önce·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 yıl önce·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 yıl önce·discuss
Maybe they thought it's spelled "your" instead of "you're".
fuklief
·3 yıl önce·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 yıl önce·discuss
See CHERI and Arm Morello https://www.arm.com/blogs/blueprint/morello
fuklief
·3 yıl önce·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 yıl önce·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 yıl önce·discuss
I believe it means High Level Synthesis in this context.