Now showing items 1-9 of 9

    • Analysis of Trivium Using Compressed Right Hand Side Equations 

      Schilling, Thorsten Ernst; Raddum, Håvard (Springer Berlin Heidelberg, 2012)
      We study a new representation of non-linear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a ...
      Peer reviewedChapter
    • Cognition: Learning and Memory 

      Braithwaite, Victoria A.; Salvanes, Anne Gro Vea (Science Publishers, 2008)
    • A Continuous Max-Flow Approach to Minimal Partitions with Label Cost Prior 

      Yuan, Jing; Bae, Egil; Boykov, Yuri; Tai, Xue-Cheng (The authors, 2011)
      This paper investigates a convex relaxation approach for minimum description length (MDL) based image partitioning or labeling, which proposes an energy functional regularized by the spatial smoothness prior joint with ...
      ChapterPeer reviewed
    • Floating Fault Analysis of Trivium 

      Hojsík, Michal; Rudolf, Bohuslav (Springer Berlin Heidelberg, 2008)
      One of the eSTREAM final portfolio ciphers is the hardwareoriented stream cipher Trivium. It is based on 3 nonlinear feedback shift registers with a linear output function. Although Trivium has attached a lot of interest, ...
      ChapterPeer reviewed
    • Inferring Required Permissions for Statically Composed Programs 

      Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne (Springer, 2013)
      Permission-based security models are common in smartphone operating systems. Such models implement access control for sensitive APIs, introducing an additional concern for application developers. It is important for the ...
    • Ocean storage 

      Caldeira, Ken; Akai, Makoto; Brewer, Peter G.; Chen, Baixin; Haugan, Peter Mosby; Iwama, Toru; Johnston, Paul; Kheshgi, Haroon; Li, Qingquan; Ohsumi, Takashi; Pörtner, Hans; Sabine, Chris; Shirayama, Yoshihisa; Thomson, Jolyon (Intergovermental Panel on Climate Change, 2005)
    • Periodicity of otolith check formation in the juvenile plaice Pleuronectes platessa 

      Geffen, Audrey J. (University of South Carolina Press, 1995)
      Juvenile (Pleuronectes platessa L.) were sampled in the intertidal zone of Port Erin Bay (Isle of Man, Irish Sea) by push-net in the summers of 1990 and 1992. Check formation on the sagittal otoliths was examined to test ...
      Peer reviewedChapterConference object
    • Regular Expressions with Numerical Constraints and Automata with Counters 

      Hovland, Dag (Springer, 2009)
      Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be matched. Expressions in this extension describe the ...
      ChapterPeer reviewed
    • A Type System for Usage of Software Components 

      Hovland, Dag (Springer, 2009)
      The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ...
      ChapterPeer reviewed