Mark Tullsen

According to our database, Mark Tullsen authored at least 10 papers between 1999 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Research Report: Strengthening Weak Links in the PDF Trust Chain.

Mark Tullsen, William Harris, Peter Wyatt

Proceedings of the 43rd IEEE Security and Privacy, 2022

2020

Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax.

Sam Cowger, Yerim Lee, Nichole Schimanski, Mark Tullsen, Walter Woods, Richard Jones, E. W. Davis, William Harris, Trent Brunson, Carson Harmon, Bradford Larsen, Evan Sultanik

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2019

Weird Machines as Insecure Compilation.

Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore

CoRR, 2019

ASN.1 Encoding Schemes Done Right Using CMPCT.

Mark Tullsen

Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, 2019

2018

Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System.

Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Secure Automotive Software: The Next Steps.

Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, James Bielman

IEEE Softw., 2017

2016

Array Types for a Graph Processing Language.

Mark Tullsen, Matthew J. Sottile

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2000

First Class Patterns.

Mark Tullsen

Proceedings of the Practical Aspects of Declarative Languages, 2000

The Zip Calculus.

Mark Tullsen

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

1999

Shifting Expression Procedures into Reverse.

Mark Tullsen, Paul Hudak

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999