Michael Reif

@ReifMi

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

Vrijeme pridruživanja: studeni 2014.

Tweetovi

Blokirali ste korisnika/cu @ReifMi

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @ReifMi

  1. Prikvačeni tweet
    26. svi 2019.

    I'm happy to announce that the preprint of our paper: "Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs" is now available under:

    Poništi
  2. proslijedio/la je Tweet
    23. sij

    SOAP 2020 will again be co-located with this year. Do you have some new and exciting work related to program analysis? Consider submitting: Deadline: 2020-03-23

    Poništi
  3. proslijedio/la je Tweet
    16. sij
    Poništi
  4. proslijedio/la je Tweet
    16. sij

    Die Folien zu meiner Keynote über Test-Impact-Analyse sind online:

    Poništi
  5. proslijedio/la je Tweet
    16. sij

    Our researchers , and are presenting today! Looking forward to a very interesting Workshop at 👍

    Poništi
  6. proslijedio/la je Tweet
    16. sij

    Today, , , and are at to present some basics on how to implement cryptography securely, our research on , and of course some hands on.

    , , i još njih 2
    Poništi
  7. proslijedio/la je Tweet
    16. sij

    And just to make things interesting over in the upside down we have and colleagues from providing an introduction in how to use crypto securely. Strap in people it is the home straight.

    Poništi
  8. 18. pro 2019.

    Is anyone aware of any recent news w.r.t cryptography-related hacks?

    Poništi
  9. proslijedio/la je Tweet
    16. pro 2019.

    The ECOOP Doctoral Symposium welcomes both late and early-stage PhD students, this year! The first-round deadline is April 12. Write down the date and join us with your awesome PL research in Berlin!

    Poništi
  10. proslijedio/la je Tweet
    11. pro 2019.

    Hey PL researchers! Save the date! We will host an awesome Poster session during the in Berlin. Don't forget to mark the submission deadlines in your calendar 😃

    Poništi
  11. proslijedio/la je Tweet

    Wir sind heute bei ATHENE, dem Nationalen Forschungszentrum für angewandte Cybersicherheit, und präsentieren unsere Forschung beim Besuch von und . Unsere leuchtenden freuen sich auch schon!

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    13. stu 2019.

    I have used this (German) tweet thread in my IT security lecture today as an example how to NOT do it. I think the students understood. :-) But all the rest of you should read this too...

    Tweet je nedostupan.
    Poništi
  13. proslijedio/la je Tweet
    7. lis 2019.

    Interested in an academic position with half the standard teaching duties to focus on research verifying optimization passes of a compiler? Join UQ ITEE and collaborate with Oracle Labs, applications close this Friday 11th Oct

    Poništi
  14. proslijedio/la je Tweet
    27. ruj 2019.

    Just 57 sleeps until the submission deadline! This year's edition will be extra special because it will be co-located with the fourth conference on the History of Programming Languages!

    Poništi
  15. proslijedio/la je Tweet
    25. ruj 2019.

    This year, we’re very excited to introduce our new Medium blog to help you publicize and promote your work!👏 You can write a blog post about your paper and highlight the most exciting findings to attract the broader public audience! 📣 Instructions here!

    Poništi
  16. proslijedio/la je Tweet
    18. ruj 2019.

    I'll be speaking at the TestExpo in London on the 17th of October (). I have free tickets and a discount available. First Come First Serve, retweet appreciated. 😃

    Poništi
  17. proslijedio/la je Tweet
    18. ruj 2019.

    Want to tailor the future of Soot? Then, consider this job offer and make the leading Java static analysis framework even better.

    Poništi
  18. proslijedio/la je Tweet

    Prof. Mira Mezini just presented the intelligent CROSSING Crypto Assistant at the IT Security Lounge! Lots of interest in our project - all are welcome to test it:

    Poništi
  19. proslijedio/la je Tweet
    19. srp 2019.

    Here are the slides from my talk today at the Doctoral Symposium with some shout outs to and for being good examples. Have fun filling your personal to-do-lists. Questions and comments appreciated!

    Poništi
  20. proslijedio/la je Tweet
    18. srp 2019.

    Below you can find some impressions of talk today . 👇 If you want to take a look at his slides, you can find them here: .

    Poništi
  21. proslijedio/la je Tweet
    18. srp 2019.

    on Sources of Unsoundness in Call Graphs

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·