Franziskus Kiefer
@_franziskus_
Followers
628
Following
1K
Media
71
Statuses
894
RT @CryspenHQ: We are kicking off our blog post series on MLS. In this first post we unpack the key goals and design constraints of MLS an….
cryspen.com
An introduction to Messaging Layer Security
0
1
0
RT @sovtechfund: We’ve been following the standards work on MLS with interest, since it's a modern protocol that enables more comprehensive….
0
3
0
RT @CryspenHQ: MLS got published as RFC 9420 🎉.
cryspen.com
A new standard for secure messaging
0
2
0
RT @BasspittersBs: Proud of my master students Lasse Bramer Schmidt, Rasmus Tomtave Bjerg, who specified a substantial part of the Halo2 bo….
hacspec.org
A specification language.
0
5
0
RT @CryspenHQ: End of March Cryspen has been at the Real World Crypto Symposium to give a talk on the hacspec language, the hax tool, and t….
cryspen.com
At Real World Crypto 2023 in Tokyo, we gave a talk on the hacspec language, the hax tool, and the libcrux crypto library.
0
2
0
RT @twallez: I am starting a blog post series on MLS!. In the first post, I answer the question: "What is MLS?".Following posts will then d….
0
9
0
RT @freiheitsrechte: Leider brandaktuell: Im gestern vorgestellten #Grundrechte-Report kritisieren Jurist*innen den Umgang deutscher Behörd….
rnd.de
Seit 1997 erscheint jährlich der Grundrechte-Report. In diesem Jahr trägt er den Titel „Krieg, Klima, Krise“. Im Mittelpunkt - und in der Kritik - steht auch der Umgang mit Klimaprotesten in Deutsc...
0
50
0
RT @CryspenHQ: 🌟 Exciting Opportunity Alert! 🌟. 📢 We're thrilled to announce that our team is expanding and we are on the lookout for a Sof….
join.com
Jobs at Cryspen. Browse all our open positions and become part of our growing team! We are currently looking for additions to our company. Apply today!
0
1
0
RT @SylvestreLedru: New release of implementation of the Coreutils written in Rust:. We also have a few good first….
github.com
🎉 We're excited to announce the new release of Rust coreutils! This release brings several improvements and new features, including updates to the GNU test suite compatibility, and refinements ...
0
3
0
RT @visevic: Deutschland gefährdet die Klima-Ambitionen Europas, schreibt nicht nur @TheEconomist. Die internationalen Medien sind seit ein….
0
119
0
RT @dakoraa: When: Tuesday Mar 28, 12:10-13:40 JST.Where: RWC Conferenc, Room 4.Who: trans, cross-dressing, queer, gay, lesbian, gender-wei….
0
5
0
RT @bwesterb: Recent reports of Kyber’s demise at the hands of AI are greatly exaggerated. Honoured to have @lejla_….
blog.cloudflare.com
The recent news reports of AI cracking post-quantum cryptography are greatly exaggerated. In this blog, we take a deep dive into the world of side-channel attacks and how AI has been used for more...
0
8
0
RT @CryspenHQ: We will talk about hacspec: a gateway to high-assurance cryptography @RealWorldCrypto in Tokyo end of March. #RealWorldCryp….
rwc.iacr.org
Real World Crypto 2023
0
3
0
🎉 Testing the new code search on GitHub (it can only be better than the old one)
1
0
5
RT @netzpolitik_org: Im Interview mit dem SPIEGEL verteidigt EU-Kommissarin Johansson die von der EU geplante #Chatkontrolle. Dabei sagt si….
netzpolitik.org
Im Interview mit dem SPIEGEL verteidigt EU-Kommissarin Johansson die von der EU geplante Chatkontrolle. Dabei sagt sie drei Mal die Unwahrheit und verbreitet mindestens sieben Mal irreführende...
0
86
0
RT @ThylaVdMerwe: Do you use or build #opensource cryptography?. Join our Open Source Cryptography Workshop, co-located with (the day after….
0
13
0
I'm #hiring for two positions. A #Cryptography R&D Engineer and a #Verification Engineer. Come and help us build high assurance (cryptographic) software.
We are #hiring a #Cryptography Researcher and Engineer to help us build and prove high-assurance cryptographic software.
1
4
3
RT @citylabberlin: Wer experimentiert, muss manchmal auch schöne Ideen loslassen können: Wir haben entschieden, Stadtpuls zum 31.01. zu bee….
stories.stadtpuls.com
In dieser letzten Stadtpuls Story möchten wir Euch einen kleinen Einblick in die Entstehungsgeschichte von Stadtpuls geben, welche Faktoren ausschlaggebend sind für die Einstellung und was wir aus...
0
3
0
RT @kennyog: We (@winterdeaf @kientuong114 and I) took a deep dive on Threema, a Swiss-made secure messaging app. We found 6 new cryptograp….
0
124
0