Pennsylvania State University 3 credits CSE
This course explores advanced concepts of programming languages and how the concepts are applied to language-based security. The course first covers programming language theory, including program semantics, Induction, lambda calculus. Then, the course covers language-based techniques, such as type system and program verification, that can provably rule out incorrect/insecure programs. Finally, the course engages the students with hands-on projects to apply the techniques to solve security problems, such as analyzing information flow leakage in programs and automatic code rewriting to avoid side channel attacks. Upon completion of the course, students will demonstrate understanding of advanced programming language concepts and be ready to apply them for specific applications.
Our subject experts help with essays, research papers, case studies, discussion posts, and capstone projects for these programs β written from scratch to your course requirements.
Program and course information is reproduced from each university's published academic catalog for informational purposes and may change. Always confirm current requirements with your university. We are an independent academic support service and are not affiliated with or endorsed by the universities listed.
Expert guides on essay writing, citation styles, study skills, and academic success.
View All Articles
Learn how to write a good research question for a paper. Narrow your topic, identify a research problem, and create a focused question with practical examples.
Learn how to choose a research topic you can actually research. Discover how to narrow broad ideas, find reliable sources, and develop a focused research question.
Learn how to cite sources in a research paper using APA, MLA, and Chicago styles, with in-text citation examples and reference-list tips.