Michael Reif
@reifmi
PhD student at @TUDarmstadt @stg_darmstadt working on the intersection of static analysis and software security
ID: 2904257892
http://michael-reif.name 19-11-2014 08:31:10
189 Tweet
131 Followers
157 Following
Do you want to learn more about Cognicrypt and #CrySL or how we support developers in writing secure code? Check out our new short explainer video: 🇬🇧🇺🇸: youtu.be/BwI3Jv06fxg 🇩🇪: youtu.be/rDavuHq0x1E @profbodden Mira Mezini Computer Science, TU Darmstadt Secure Software Engineering, Paderborn University TU Darmstadt Universität Paderborn
A great article from Sheen Brisals describing how to perform reasonable threat modeling for #serverless #applications using the STRIDE approach. betterprogramming.pub/a-few-steps-to…
We are happy to share with you that the paper "CiFi: Versatile Analysis of Class and Field Immutability" by Tobias Roth, D. Helm, Michael Reif, and @m_mezini is accepted ASE 2024 ! 🥳 We'll share a pre-print as well. #ASE2021 #OPAL #StaticAnalysis #Immutability
Should we still care about design and maintenance even though the lifetime of our software is significantly shorter than we think? Let's find out if the priorities of SE research should change! Next Monday at IEEE SCAM Conference ...
You attend #ASE2021 and want to know more about immutability for static analyses or simply want to see a distinguished paper award presentation 🏆, we have you covered: Tobias Roth will present today at 12:20 GMT+1 at Kangaroo our paper CiFi. cc Michael Reif @m_mezini
Im Deutschlandfunk um 16:30Uhr unter "#Forschung Aktuell" spricht morgen @profbodden im Interview über den Schutz vor Schwachstellen in frei zugänglicher #Software. Reinhören! 📻 Secure Software Engineering, Paderborn University ➡️bit.ly/3Dft4vy Universität Paderborn #Security #itsecurity #Science #securesoftware