Concepedia

Songlin Jia

SJ

4

Publications

50

Citations

4

H-Index

2022

Active since

Affiliations

Purdue University West Lafayette(Current)

Augusta University

Galois (United States)

Songlin Jia is an author at Purdue University West Lafayette specializing in cryptography, information security, and data security.

Top concepts

BlockchainEngineeringCryptographyData PrivacyData SecurityComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisSoftware Security

Publications per year

2022–2024

4

Publications

4

Annotating, Tracking, and Protecting Cryptographic Secrets with CryptoMPK

Xuancheng Jin, Xuangan Xiao, Songlin Jia et al. · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 19 citations

Cryptographic Primitive, Engineering, Information Security +22

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Guannan Wei, Oliver Bračevac, Songlin Jia et al. · Proceedings of the ACM on Programming Languages · 2024 · 11 citations · Full text

Compiling Parallel Symbolic Execution with Continuations

Guannan Wei, Songlin Jia, Ruiqi Gao et al. · 2023 · 10 citations

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies

Oliver Bračevac, Guannan Wei, Songlin Jia et al. · Proceedings of the ACM on Programming Languages · 2023 · 10 citations · Full text

Rows per page

1–4 of 4