Sökning: "Niklas Broberg"

Hittade 4 avhandlingar innehållade orden Niklas Broberg.

1. 1. Counting Rational Points on Curves and Surfaces

   Författare :Niklas Broberg; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; rational point; bounded height; counting function; Batyrev-Manin conjecture; thin set; bounded height;

   Sammanfattning : .... LÄS MER

3. 2. Practical, Flexible programming with Information Flow Control

   Författare :Niklas Broberg; Göteborgs universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Computer security; Computer security; Programming languages;

   Sammanfattning : Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide adequate protection for the information it handles. LÄS MER

4. 3. Programming Language Design - Issues in Web Programming and Security

   Författare :Niklas Broberg; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation; calculus;

   Sammanfattning : This thesis consists of two separate parts. Both concern programming language design, the first in the domain of web programming and the other for security. LÄS MER

5. 4. Rational points on cubic surfaces

   Författare :Niklas Broberg; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : .... LÄS MER