Sökning: "Leaks"

Visar resultat 1 - 5 av 59 avhandlingar innehållade ordet Leaks.

  1. 1. Complications in bariatric surgery with focus on gastric bypass

    Författare :Bjarni Vidarsson; Magnus Sundbom; David Edholm; Jacob Freedman; Uppsala universitet; []
    Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Barbed suture; Operative time; Complications; LRYGB; Gastric bypass; RYGB; Leaks; Reoperation; Enteroenteral anastomosis; Small bowel; Reintervention; Healthcare consumption; Roux-en-Y gastric bypass; RAND-36; Quality of life; Surgery; Kirurgi;

    Sammanfattning : Obesity is rising in pandemic proportions. At present, one third of the world’s population has become overweight or obese, and estimates predict 60% in 2030. Thus, the problem is gigantic. Obesity is associated with numerous diseases such as diabetes, high blood pressure, sleep apnea and cancer. LÄS MER

  3. 2. Securing functional programs with floating-label information-flow control

    Författare :Pablo Buiras; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

    Sammanfattning : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. LÄS MER

  4. 3. Securing concurrent programs with dynamic information-flow control

    Författare :Pablo Buiras; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic; lazy evaluation; LIO; Haskell; information-flow control; cache; covert channels; covert timing channels; concurrency;

    Sammanfattning : The work presented in this thesis focusses on dealing with timingcovert channels in dynamic information-flow control systems,particularly for the LIO library in Haskell.Timing channels are dangerous in the presence ofconcurrency. LÄS MER

  5. 4. Language Support for Controlling Timing-Based Covert Channels

    Författare :Alejandro Russo; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information-flow; language-based security; semaphores; non-interference; Haskell; library; concurrency; internal timing covert channel;

    Sammanfattning : The problem of controlling information flow in multithreaded programs remains an important open challenge.A major difficulty for tracking information flow in concurrent programs is due to the internal timing covert channel. LÄS MER

  7. 5. Controlling Timing Channels in Multithreaded Programs

    Författare :Alejandro Russo; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : The problem of controlling information flow in multithreaded programs remains an important open challenge. A major difficulty fortracking information flow in concurrent programs is due to the internal timing covert channel. LÄS MER