Mark Tullsen

According to our database1, Mark Tullsen authored at least 11 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Research Report: An Optim (l) Approach to Parsing Random-Access Formats.
Proceedings of the IEEE Security and Privacy, 2024

2022
Research Report: Strengthening Weak Links in the PDF Trust Chain.
Proceedings of the 43rd IEEE Security and Privacy, 2022

2020
Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2019
Weird Machines as Insecure Compilation.
CoRR, 2019

ASN.1 Encoding Schemes Done Right Using CMPCT.
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.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Secure Automotive Software: The Next Steps.
IEEE Softw., 2017

2016
Array Types for a Graph Processing Language.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2000
First Class Patterns.
Proceedings of the Practical Aspects of Declarative Languages, 2000

The Zip Calculus.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

1999
Shifting Expression Procedures into Reverse.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999


  Loading...