Professor @ LMU Munich Security, Program Analysis, Machine Learninghttps://bsky.app/profile/jkinder.bsky.socialhttps://bsky.app/profile/jkinder.bsky.social/post/3lwcabedjlk2xUSENIX Security kicking off in Seattle! #usesec2513 Aug 2025 16:22 +0000at://did:plc:dknmkuooc2eikyxta6as3cih/app.bsky.feed.post/3lwcabedjlk2xhttps://bsky.app/profile/jkinder.bsky.social/post/3lw4ttzhm522n🛬 I'm at USENIX Security in Seattle this week, where on Friday at 2pm my former postdoc Tristan Benoit will be presenting our paper "BLens: Contrastive Captioning of Binary Functions using Ensemble Embedding," joint work with Yunru Wang and Moritz Dannehl from my group. Here's the gist:11 Aug 2025 12:56 +0000at://did:plc:dknmkuooc2eikyxta6as3cih/app.bsky.feed.post/3lw4ttzhm522nhttps://bsky.app/profile/jkinder.bsky.social/post/3lsbcvb57e22gDay 1 of #ACNS at Munich Urban Colab is underway!23 Jun 2025 09:55 +0000at://did:plc:dknmkuooc2eikyxta6as3cih/app.bsky.feed.post/3lsbcvb57e22ghttps://bsky.app/profile/jkinder.bsky.social/post/3lqoznkt5lk2eInteresting case where it seems like precise floating point support in SMT solvers would help with generating a working exploit. [contains quote post or other embedded content]03 Jun 2025 09:57 +0000at://did:plc:dknmkuooc2eikyxta6as3cih/app.bsky.feed.post/3lqoznkt5lk2ehttps://bsky.app/profile/jkinder.bsky.social/post/3lni6wxups22xEarly 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 https://acns2025.fordaysec.de23 Apr 2025 12:27 +0000at://did:plc:dknmkuooc2eikyxta6as3cih/app.bsky.feed.post/3lni6wxups22xhttps://bsky.app/profile/jkinder.bsky.social/post/3li4womu6jc2hVolodymyr 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 preparedness14 Feb 2025 09:54 +0000at://did:plc:dknmkuooc2eikyxta6as3cih/app.bsky.feed.post/3li4womu6jc2hhttps://bsky.app/profile/jkinder.bsky.social/post/3lgabjktzdk2pLearned 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! [contains quote post or other embedded content]21 Jan 2025 06:56 +0000at://did:plc:dknmkuooc2eikyxta6as3cih/app.bsky.feed.post/3lgabjktzdk2phttps://bsky.app/profile/jkinder.bsky.social/post/3lb5a5ti3cs2rHello World! Finally deleted my account on "the other site", curious to see what this place will become.17 Nov 2024 10:47 +0000at://did:plc:dknmkuooc2eikyxta6as3cih/app.bsky.feed.post/3lb5a5ti3cs2r