The Programming Languages, Logic, and Software Security section advances the foundations and applications of programming languages, software verification, and security. Researchers develop new models, logics, and analysis techniques to ensure software reliability, protect against vulnerabilities, and improve programming productivity.

semantics of logic programming and proof-search, automata and language theory, string diagrams, and systems modelling, using ideas from process theory and logic, with applications in areas such as systems security, security policy, and surge capacity in healthcare systems. In quantum information and computation, we have interests and expertise ...

Apr 4, 2022 · Logic Programming Computer Security. After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity. Other topics, including logic programming, non-monotonic reasoning, temporal logic, and reasoning about knowledge and belief, are surveyed as time ...

Jun 17, 2002 · An important problem in network security management is to uncover potential mul-tistage, multihost attack paths due to software vulnerabilities and misconfigurations. This thesis proposes a logic-programming approach to conduct this analysis automat-ically. We use Datalog to specify network elements and their security interactions.

The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols.

PCL is a logic for proving security properties of network protocols. Two central results for PCL are a set of composition theorems and a computational soundness theorem.

Dec 16, 2022 · Logic including applications in hardware and software verification; Programming languages with underlying principles, implementation techniques and advanced programming techniques. Computer security including cryptography and programming language-based approaches to security.

In this paper, we take the advantage of answer set programming technology to develop an effective framework to verify security protocols carrying claimed security proof under adversary models on computational complexity theory.

Jan 1, 2002 · In this paper we show how security protocols can be specified and verified efficiently and effectively by embedding reasoning about actions into a logic programming language. In a nutshell, we view a protocol trace as a plan to achieve a goal, so that protocol attacks are plans achieving goals that correspond to security violations.

We plan to develop a series of modules that seamlessly integrate logic and logical software tools into existing, widely taught computer science courses.