Felix Linker
@felixlinker
Followers
186
Following
25K
Media
16
Statuses
455
👨🎓 PhD student @INFSECatETH researching protocol analysis and design 🐘 @[email protected]
Zürich, Schweiz
Joined September 2017
Today, Apple announced that they made iMessage quantum-secure, and I am very proud to be part of the team that formally verified this new protocol!.
security.apple.com
We are introducing PQ3, a groundbreaking cryptographic protocol for iMessage that advances the state of the art of end-to-end secure messaging. With compromise-resilient encryption and extensive...
0
13
67
I created an account with the "International Association for Cryptologic Research" recently and was emailed my password. Isn't that beautiful? 🥰.
1
0
2
RT @moyix: Duck typing? You're thinking too small. With AI, we can finally take Guido van Rossum's dream to its logical conclusion https://….
0
142
0
Slight disagree. As someone who exercises around ~8-10h per week, I do like the insight that my HFV is giving me. Sometimes, I underestimate the stress of non-exercise factors (e.g., intercontinental flights) and my watch makes me realize I should recover.
The personal health interventions we currently have are so well known but crude (diet, exercise, sleep) that applying tech to health/wellness usually just feels like inventing diff forms of police to me. The rings, the watches, the bands all just feel like the sleep police, the.
0
0
1
As @hillelogram always says: "Premature optimisations are the source of all evil.".
New blog post "Clang vs. Clang": You're making Clang angry. You wouldn't like Clang when it's angry. #compilers #optimization #bugs #timing #security #codescans.
0
0
2
People having lunch in groups will be guided off the property at USENIX!
0
0
0
There should be an EU-paid publisher that administers publishing community-driven conferences open access without any further fees. All they need to be is a slightly different arXiv. States pay these costs anyways, and the real work is put in by the community anyways.
We've now reached the point where computer scientists have to pay nearly $2000 to get their work published at ACM venues. IACR shows that you can get high quality publication venues with decent review. ACM CCS is now a cash grab.
0
0
1
One example: I often saw people confused about what a VRF does and was confused about them myself for a long time. But explained as "deterministic signature scheme + hash function," idea is clear immediately.
Why do cryptographers have this obsession of defining schemes and their instantiations separately?. In most papers, there is only one instantiation for the scheme anyways. It is so confusing to read. I constantly need to look up definitions.
1
0
1
I just had to parse three algorithms for a commitment scheme when in the end they just use salt + hash. It could have been one sentence. y u playin.
0
0
3
Why do cryptographers have this obsession of defining schemes and their instantiations separately?. In most papers, there is only one instantiation for the scheme anyways. It is so confusing to read. I constantly need to look up definitions.
6
0
8
RT @TRodenhaeuser: Vielen Dank @felixlinker für das klasse Interview und eure excellence Arbeit zu einem „Digitalen Emblem“. Das wird sich….
deutschlandfunk.de
0
1
0
RT @ETH_en: @ICRC creates digital emblem to #Safeguard humanitarian orgs' online presence, with help from ETH Zurich's Information Security….
ethz.ch
Warfare is increasingly spreading to the realm of cyberspace. In response, the International Committee of the Red Cross (ICRC) wants to protect its digital infrastructure and that of humanitarian...
0
1
0
Spontaneous signature combustion is a problem 🔥.
0
1
1
RT @TRodenhaeuser: 📢 A peer-reviewed technical solution of a 'digital emblem' to protect medical and humanitarian operations in war. Thank….
0
1
0
At 11:00, I will present our work "ADEM: An Authentic Digital EMblem" at @acm_ccs!. It was recently covered in the ETH news and I am excited to present it! The paper:
0
0
4
Excited to host a Tamarin workshop at IETF 118 in Prague today! Should you be there, I encourage you to show up. No (or at least little) prerequisites required!.
0
0
3
But is the so much faster compiler correct??? @theodortheod 👀.
YJIT is juicy! We're seeing +24% faster on the median, +12% on the average, and +10% on the P90 with Ruby 3.3 using YJIT in production on @basecamp. Major kudos to the fine folks at @ShopifyEng for making this happen 👏
1
0
0