Michael Reif (@reifmi) 's Twitter Profile
Michael Reif

@reifmi

PhD student at @TUDarmstadt @stg_darmstadt working on the intersection of static analysis and software security

ID: 2904257892

linkhttp://michael-reif.name calendar_today19-11-2014 08:31:10

189 Tweet

131 Followers

157 Following

STG Darmstadt (@stg_darmstadt) 's Twitter Profile Photo

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

CodeShield (@codeshield_io) 's Twitter Profile Photo

We found this interesting 2021 CISO #Report from DynaTrace dynatrace.com/info/cloud-app… It shows that "Traditional #application security measures are broken [in a #cloud native world]." #Security warnings lack context, making it hard to assess and fix vulnerabilities.

CodeShield (@codeshield_io) 's Twitter Profile Photo

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…

STG Darmstadt (@stg_darmstadt) 's Twitter Profile Photo

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

We are happy to share with you that the paper "CiFi: Versatile Analysis of Class and Field Immutability" by <a href="/roterEmil/">Tobias Roth</a>, D. Helm, <a href="/ReifMi/">Michael Reif</a>, and @m_mezini is accepted <a href="/ASE_conf/">ASE 2024</a> ! 🥳

We'll share a pre-print as well.

#ASE2021 #OPAL #StaticAnalysis #Immutability
@useronline1 🇪🇺🇺🇦 (@useronline1) 's Twitter Profile Photo

Wir amüsieren uns, #Laschet habe kein #Wahlprogramm oder ein solches bestehe in #Genderverbot. Das ist natürlich irrig. Laschet baut nach außen harmlose Fassaden auf. Dahinter wird knallharte Politik gemacht für die Interessen, die er wirklich vertritt. Ein Thread. 1/

FAZ Rhein-Main (@faz_rheinmain) 's Twitter Profile Photo

Die UNESCO hat die Künstlerkolonie Mathildenhöhe in Darmstadt als neues Welterbe ausgezeichnet. Das zuständige UN-Komitee der UN-Organisation traf die Entscheidung am Samstag auf seiner laufenden Sitzung im chinesischen Fuzhou. faz.net/aktuell/rhein-…

Cristina Cifuentes (@criscifuentes) 's Twitter Profile Photo

27 years after my PhD dissertation on decompilation I’m giving a retrospective talk on decompilation — From Student of Compilation to Mother of Decompilation. Join me, Thursday July 29th 6 pm PDT / Friday 30th July 2 am UK / 11 am AEST #WiCT

CodeShield (@codeshield_io) 's Twitter Profile Photo

Researchers found a malicious npm package that steals credentials from Google’s Chrome 🤯 threatpost.com/npm-package-st… Flashback to 2018 - an npm package distributed malicious crypto-mining code golem.de/news/event-str…

Ben Hermann | @benhermann@mastodon.social (@benhermann) 's Twitter Profile Photo

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 ...

Ben Hermann | @benhermann@mastodon.social (@benhermann) 's Twitter Profile Photo

Kolleg:innen führen eine Studie zur Meetingkultur durch. Bitte beteiligt euch alle zahlreich, es dauert auch nur 5 Minuten: docs.google.com/forms/d/1KzX0j… #PleaseRT #germanOnly

Laura Moreno, PhD (@lvmorenoc) 's Twitter Profile Photo

Interested in software quality? Come work with us at CQSE GmbH America! We are hiring a Software Quality Consultant and a Software Engineer Intern. See jobs.cqse.eu/en/ for more info.

Sebastian Proksch (@prksch) 's Twitter Profile Photo

Do you like Software Engineering and processes like CI/CD? Do you want to pursue an academic career and do a PhD? I have a position for you here in The Netherlands at TU Delft. Work with me on the next generation of CI/CD tools! tudelft.nl/over-tu-delft/… (5 days left)

Do you like Software Engineering and processes like CI/CD? Do you want to pursue an academic career and do a PhD? I have a position for you here in The Netherlands at <a href="/tudelft/">TU Delft</a>. Work with me on the next generation of CI/CD tools! tudelft.nl/over-tu-delft/… (5 days left)
STG Darmstadt (@stg_darmstadt) 's Twitter Profile Photo

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

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:
<a href="/roterEmil/">Tobias Roth</a> will present today at 12:20 GMT+1 at Kangaroo our paper CiFi.

cc <a href="/ReifMi/">Michael Reif</a> @m_mezini
Secure Software Engineering Group at TU Dortmund (@sse_labs) 's Twitter Profile Photo

New Master thesis topic available! Do you want to test the limits of CQSE GmbH's Teamscale? Using our large-scale benchmark index you can find things that may put this tool on its edge and find scalability bottlenecks. Interesting? Here are the details: sse.cs.tu-dortmund.de/teaching/these…

HeinzNixdorfInstitut (@hni_pb) 's Twitter Profile Photo

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

Im <a href="/DLF/">Deutschlandfunk</a> um 16:30Uhr unter "#Forschung Aktuell" spricht morgen @profbodden im Interview über den Schutz vor Schwachstellen in frei zugänglicher #Software. Reinhören! 📻 <a href="/SecEngUPB/">Secure Software Engineering, Paderborn University</a>
➡️bit.ly/3Dft4vy
<a href="/unipb/">Universität Paderborn</a> #Security #itsecurity #Science #securesoftware
James Larus (@jameslarus) 's Twitter Profile Photo

Interesting essay on why Software Engineering research has accomplished little. Its insightful criticism applies to other CS fields as well. iansommerville.com/technology/res…