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; Göteborgs universitet; Gothenburg University; []
    Nyckelord :rational point; bounded height; counting function; Batyrev-Manin conjecture; thin set; bounded height;

    Sammanfattning : .... LÄS MER

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

    Författare :Niklas Broberg; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer security; Programming languages; 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

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

    Författare :Niklas Broberg; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    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

  4. 4. Rational points on cubic surfaces

    Författare :Niklas Broberg; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER