Search for dissertations about: "Daniel Hedin"
Found 4 swedish dissertations containing the words Daniel Hedin.
-
1. Language Based Covert Channel Avoidance
Abstract : Common protection mechanisms fail to provide end-to-end security; programs with legitimate access to secret information are not prevented from leaking this to the world by accident or malice. Protecting the access to information is not enough to solve this problem. We have to ensure that the program uses the information in a secure way. READ MORE
-
2. Program Analysis Issues in Language Based Security
Abstract : .... READ MORE
-
3. Exploring Opportunistic Use of Mobile Devices for Studying in Higher Education
Abstract : Students today often feel that they have too much to do and too little time. A common strategy to remedy this is to take advantage of opportunities to use “inter-time”, the time between other activities such as waiting or traveling. READ MORE
-
4. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
Abstract : Static backward program slicing is a technique to compute the set of program statements, predicates and inputs that might affect the value of a particular variable at a program location. The importance of this technique comes from being an essential part of many critical areas such as program maintenance, testing, verification, debugging, among others. READ MORE