Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Fisler, Kathryn

1. Development of a Data-Grounded Theory of Program Design in HTDP

Keyword:: Program design, Human-centered computing, Cognition, Planning, Computing education, and Functional programming
Creator:: Castro, Francisco Enrique Vi G.
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2020-05-18
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

2. Improving the Efficiency of Homomorphic Encryption Schemes

Keyword:: homomorphic encryption
Creator:: Hu, Yin
Advisor:: Sunar, Berk
Publisher:: Worcester Polytechnic Institute
Date Created:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Electrical & Computer Engineering

3. First-Order Models for Configuration Analysis

Keyword:: firewalls, Security, static analysis, logic, scenarios, model finding, and configuration
Creator:: Nelson, Tim
Advisor:: Dougherty, Daniel J. and Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2013-04-25
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

4. Building Web Based Programming Environments for Functional Programming

Keyword:: compilation, web, javascript, programming environments, and Education
Creator:: Yoo, Daniel
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2012-04-26
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

5. Disjunction of Regular Timing Diagrams

Keyword:: disjunction, timing diagrams, model checking, temporal logic, and Alloy
Creator:: Feng, Yu
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2010-10-12
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

6. Margrave: An Improved Analyzer for Access-Control and Configuration Policies

Keyword:: finite model property, firewalls, applied logic, and Access Control
Creator:: Nelson, Timothy
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2010-04-13
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

7. An Efficient Scheme to Provide Real-time Memory Integrity Protection

Keyword:: Memory Authentication and Integrity Protection
Creator:: Hu, Yin
Advisor:: Sunar, Berk
Publisher:: Worcester Polytechnic Institute
Date Created:: 2009-04-30
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Electrical & Computer Engineering

8. Alchemy: Transmuting Base Specifications into Implementations

Keyword:: Alloy, program synthesis, and relational specification
Creator:: Yoo, Daniel
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2009-02-26
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

9. Feature-Oriented Specification of Hardware Bus Protocols

Keyword:: hardware verification, timing diagrams, language, and aspect-oriented programming
Creator:: Freitas, Paul Michael
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2008-04-29
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

10. An Axiomatic Semantics for Functional Reactive Programming

Keyword:: coq, monads, formal verification, and functional reactive programming
Creator:: King, Christopher T.
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2008-04-29
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science