Julien Vanegue

@jvanegue

CTO Office / Head of Software Security Architecture . Interested in distributed systems verification tools and techniques to secure design & implem.

New York City, NY, USA
Vrijeme pridruživanja: travanj 2010.

Tweetovi

Blokirali ste korisnika/cu @jvanegue

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

  1. Prikvačeni tweet
    25. pro 2019.

    Want to become a CTO security architect? Come help us secure our trading systems infrastructure and applications at . If you’re looking to have some serious fun working with some of the most talented people in the FinTech industry in the heart of NYC, DM me for info.

    Poništi
  2. 1. velj

    We take people from all over the world to work at Bloomberg because we know origins don’t matter. Skills do. Our diversity is our strongest force, and we want more of it. Reach out!

    Prikaži ovu nit
    Poništi
  3. 1. velj

    A French, an English, a Brazilian, an American, a Scottish, a Canadian and a Greek guy all walk into a bar and shout: Wanna work with us?! Put your flag among ours and be welcome. This position is still open! 🇺🇸🇬🇧🇫🇷🇨🇦🇧🇷🇬🇷🏴󠁧󠁢󠁳󠁣󠁴󠁿

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    27. sij

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    Poništi
  5. 20. sij

    I usually stay away from politics but I’ll make an exception. Hearing Cedric Villani (French congressman since 2017, Fields medal 2010) gives me chills and hope for the French admin. Finally someone smart who can talk to all. If he wants it, will make it big.

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

    I'll be giving a research seminar on exploit generation at Royal Holloway in London at the end of the month (history, state of the art, open problems, + my own research) Come say hi!

    Poništi
  7. 16. sij

    Incroyable cette video de , merci! "Tout est mathématique", conférence Honoris Causa de Cédric Villani à HEC Paris

    Poništi
  8. 12. sij

    “Programming Kubernetes” by Hausenblas and Schimanski and “Quantum computing: an applied approach” by Jack Hidary. These books published in 2019 are about to get a preferred location on my shelf. Browsed through both of them and they’re doing a good job at teaching by example.

    Poništi
  9. proslijedio/la je Tweet
    11. sij

    "AFLNet: A Greybox Fuzzer for Network Protocols", my joint work with & Abhik, is accepted as a testing tool paper . It was motivated by many requests from AFL users for . Stay tuned for preprint & tool (with funder's approval).

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    14. stu 2019.
    Poništi
  11. 10. sij

    In case you are at and interested in distributed systems security, check this opening in our team: - DM me for more details

    Poništi
  12. 9. sij

    Google Safeside project provides test bench for many variants of speculative execution vulnerabilities. “A lot of cpu vendors are vulnerable and nobody we talked to had any idea how to fix this”. Invisible bugs for decades. SLH compiler mitigation now available (~40% perf hit)

    Poništi
  13. 8. sij

    TPM-Fail by Movhini et al. - timing attacks on intel and STMicroelectronics TPM devices - use cpu sampling from kernel driver to measure ecdsa signatures operations. Presented at , to appear in

    Poništi
  14. 8. sij

    Wang and Stevens win the second Levchin award 2020 at

    Poništi
  15. 8. sij

    Ralf Markle wins first Levchin prize at

    Poništi
  16. 8. sij

    Wow - The 9 Lives of Bleichenbacher's CAT talk by Eyal Ronen et al. just happened might be the most mind-blowing attack I’ve ever seen. Use micro-architectural side channel attacks to infer secret RSA key, stealthly across servers if they share key. Packed room.

    Poništi
  17. 7. sij

    Got my RWC ticket! See you all tomorrow :)

    Poništi
  18. 7. sij

    Anyone got an RWC ticket spare? ;) Looking to buy back if someone cant go!

    Poništi
  19. 7. sij

    Hit my best blitz chess rating so far, 1864. Won’t be happy until I’m 2000+ :)

    Poništi
  20. 6. sij

    I can relate to this. You can be a member of the community without giving it your body and soul. Work/life balance is essential to avoid burnout. You can have a family. Don’t think it’s either/or. Give yourself time to learn and grow. Don’t rush it.

    Poništi
  21. proslijedio/la je Tweet
    4. sij

    Scaling symbolic evaluation for automated verification of systems code with Serval a really interesting paper that talks about using SMT solvers to lift compact (hundreds of LOC!) interpreters to automatically verify unannotated binaries

    Prikaži ovu nit
    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:

    ·