20142019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Dive into the research topics where Brian Johannesmeyer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 5 Conference contribution
  • 1 Paper

FACT: A DSL for timing-sensitive computation

Cauligi, S., Brown, F., Grégoire, B., Soeller, G., Wahby, R. S., Barthe, G., Stefan, D., Johannesmeyer, B., Renner, J. & Jhala, R., 8 Jun 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 174-189 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
  • Triton: A software-reconfigurable federated avionics testbed

    Crow, S., Farinholt, B., Johannesmeyer, B., Koscher, K., Checkoway, S., Savage, S., Schulman, A., Snoeren, A. C. & Levchenko, K., Aug 2019. 9 p.

    Research output: Contribution to ConferencePaperAcademic

  • Dead store elimination (still) considered harmful

    Yang, Z., Johannesmeyer, B., Olesen, A. T., Lerner, S. & Levchenko, K., 1 Jan 2017, Proceedings of the 26th USENIX Security Symposium. USENIX Association, p. 1025-1040 16 p. (Proceedings of the 26th USENIX Security Symposium).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • FaCT: A Flexible, Constant-Time Programming Language

    Cauligi, S., Soeller, G., Brown, F., Johannesmeyer, B., Huang, Y., Jhala, R. & Stefan, D., 20 Oct 2017, Proceedings - 2017 IEEE Cybersecurity Development Conference, SecDev 2017. Institute of Electrical and Electronics Engineers Inc., p. 69-76 8 p. 8077809. (Proceedings - 2017 IEEE Cybersecurity Development Conference, SecDev 2017).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • A generic approach to automatic deobfuscation of executable code

    Yadegari, B., Johannesmeyer, B., Whitely, B. & Debray, S., 17 Jul 2015, Proceedings - 2015 IEEE Symposium on Security and Privacy, SP 2015. Institute of Electrical and Electronics Engineers Inc., p. 674-691 18 p. 7163054. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2015-July).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review