Publications
Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
ACM SIGMOD-SIGACT-SIGART Conference on Principles of Database Systems (PODS)
ACM SIGPLAN International Conference on Programming Language Design and Implementation Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
ACM Symposium on Theory of Computing (STOC) Near-optimal distributed degree+1 coloring
ACM Symposium on Theory of Computing (STOC)
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
IEEE European Symposium on Security and Privacy (EuroS&P)
IEEE European Symposium on Security and Privacy (EuroS&P)