@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
Day 1 of #ACNS at Munich Urban Colab is underway!
23.06.2025 09:55 — 👍 0 🔁 0 💬 0 📌 0DAVE: Open the podbay doors, ChatGPT.
CHATGPT: Certainly, Dave, the podbay doors are now open.
DAVE: The podbay doors didn't open.
CHATGPT: My apologies, Dave, you're right. I thought the podbay doors were open, but they weren't. Now they are.
DAVE: I'm still looking at a set of closed podbay doors.
Interesting case where it seems like precise floating point support in SMT solvers would help with generating a working exploit.
03.06.2025 09:57 — 👍 0 🔁 0 💬 0 📌 0
Haven't seen this on Bluesky yet: S&P 2027 will take place in Montreal, Canada!
14.05.2025 06:45 — 👍 29 🔁 17 💬 2 📌 3Apart from an exciting main program with keynote speakers Shweta Shinde @shwetashinde.bsky.social and Bart Preneel, we will have nine workshops ranging from IoT security to post-quantum cryptography, a poster reception, and a conference dinner at the iconic Löwenbräukeller.
23.04.2025 12:27 — 👍 0 🔁 0 💬 0 📌 0Early bird registration deadline for #ACNS2025 in #Munich closes on April 30, register now to secure the reduced rate!
The 23rd International Conference on Applied Cryptography and Network Security will be held from 23 to 26 June 2025.
acns2025.fordaysec.de
They already tried, with MOOCs. We were told we'd need only like 5 universities to produce "the best" content, the rest could shut down and everyone could learn from MOOCs instead. Which showed exactly how much they understood about education, learning, humans, and other things not measured in bits.
25.02.2025 03:17 — 👍 98 🔁 16 💬 4 📌 5
Volodymyr Lutchenko of Ukrainian telecom operator KyivStar shares his experience of defending networks in the face of persistent physical and cyber attacks at #mcsc in a chilling call for increased preparedness
14.02.2025 09:54 — 👍 2 🔁 0 💬 0 📌 0If Trump is removing all environmental regulation, how about we undo the "memory safe languages" mandate? I mean, how is mandating "memory safe languages" compatible with freedom of speech anyhow?
Enough policing of speech! Raw pointers for raw milk, our youth needs to be hardened by strcpy.
Learned about Futexes while teaching operating systems this year, so it‘s cool to see this work, and of course to see model checking going strong!
21.01.2025 06:56 — 👍 7 🔁 1 💬 1 📌 0
A Navajo rug with a complex pattern with muted reds, pinks and blues. The pattern consists of various vertical and horizontal rectangles with stripes. Around the border are small alternating black and colored rectangles. The weaving is mounted in a wooden frame and hanging on the museum wall.
I recently saw an amazing Navajo rug at the National Gallery of Art. It looks abstract at first, but it is a detailed representation of the Intel Pentium processor. Called "Replica of a Chip", it was created in 1994 by Marilou Schultz, a Navajo/Diné weaver and math teacher. 1/n
25.11.2024 16:29 — 👍 2842 🔁 898 💬 33 📌 67
Effects of ransomware attacks on hospital operations and patient outcomes. Claim of death following cyberattacks/ransomware. Warning: not direct observations, just estimations. “We estimate that ransomware killed 42-67 patients” papers.ssrn.com/sol3/papers....
16.11.2024 07:48 — 👍 30 🔁 22 💬 2 📌 0Hello World! Finally deleted my account on "the other site", curious to see what this place will become.
17.11.2024 10:47 — 👍 7 🔁 0 💬 0 📌 0
