Blar i Fakultet for informasjonsteknologi og elektroteknikk (IE) på tittel
Viser treff 19731-19750 av 20264
-
Verdiorientert evolveringsteknikk og -teknologi
(Bachelor thesis, 2020)I - Sammendrag Innledning Igjennom menneskehetens tid på jorden har vi som art evolvert våre mange teknologier. Eksterne utfordringer rundt min egen interne evolveringsteknikk, -i mitt egendefinerte bachelorprosjekt, ... -
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing
(Peer reviewed; Journal article, 2020)Mix nets are often used to provide privacy in modern security protocols, through shuffling. Some of the most important applications, such as secure electronic voting, require mix nets that are verifiable. In the literature, ... -
Verifiable Decryption for BGV
(Peer reviewed; Journal article, 2022)In this work we present a direct construction for verifiable decryption for the BGV encryption scheme by combining existing zero-knowledge proofs for linear relations and bounded values. This is one of the first constructions ... -
Verifiable Decryption in the Head
(Peer reviewed; Journal article, 2022)In this work we present a new approach to verifiable decryption which converts a 2-party passively secure distributed decryption protocol into a 1-party proof of correct decryption. This leads to an efficient and simple ... -
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme
(Peer reviewed; Journal article, 2019)The encryption of ballots is crucial to maintaining integrity and anonymity in electronic voting schemes. It enables, amongst other things, each voter to verify that their encrypted ballot has been recorded as cast, by ... -
Verifiable Shuffled Decryption
(Master thesis, 2013)We describe the Verifiable Shuffled Decryption problem, and present five solutions based on adapting several existing verifiable shuffles. All but one may have potential for implementation, the choice of which would depend ... -
Verification and extension of a linear model of a rotary converter
(Master thesis, 2007)In this work, a verification and extension of a linear rotary converter model is done in Matlab®/Simulink. The existing model was developed by Thomas Høyvik Garten in his master thesis “Linear Model of Rotary Converter in ... -
Verification of a Large Heterogeneous Many-core Computer
(Master thesis, 2016)The historical trend of steady increase in processor performance with each technology generation has slowed down during the last years due to power limitations. As transistor sizes reduce, the power density on a chip does ... -
Verification of a numerical MHD arc model for high voltage circuit breakers using experimental images
(Journal article; Peer reviewed, 2017)The paper presents experimental and computational images of the arc in a simplified chamber. A circuit is arranged to inject the AC current into the electrodes. Arc current, magnetic field and plasma flow are described in ... -
Verification of an AES RTL Model with an Advanced Object-Oriented Testbench in SystemVerilog
(Master thesis, 2007)This Master's thesis reports the verification planning and verification process of a Verilog RTL model. Modern verification techniques like constrained randomization, assertions, functional coverage analysis and object ... -
Verification of downhole choke technology in a simulator using data from a North Sea well
(Journal article; Peer reviewed, 2019)The most important contributer to Improved Oil Recovery (IOR) on mature fields is drilling of infill wells. Managed Pressure Drilling (MPD) and Continuous Circulation System (CCS) techniques can be used for improved control ... -
Verification of simulation program for high head hydro power plant with air cussion
(Master thesis, 2013)Europe's energy production is experiencing a shift towards larger volumes of renewable energy. This developement, however benificiary, poses several challenges. One of them being the lack of regulation, as the energy is ... -
Verified Verifiers for Verifying Elections
(Journal article; Peer reviewed, 2019)The security and trustworthiness of elections is critical to democracy; alas, securing elections is notoriously hard. Powerful cryptographic techniques for verifying the integrity of electronic voting have been developed ... -
VerifyMed - Application of blockchain technology to improve trust in virtualized healthcare services
(Master thesis, 2020)Helsevesenet går mot økt bruk av digitale helsetjenester. Ved å bruke slike tjenester kan pasienter møte helsepersonell ved bruk av nettbaserte applikasjoner, for eksempel via digitale konsultasjoner på video eller chat. ... -
VerifyMed-A blockchain platform for transparent trust in virtualized healthcare: Proof-of-concept
(Chapter, 2020)Patients living in a digitized world can now interact with medical professionals through online services such as chat applications, video conferencing or indirectly through consulting services. These applications need to ... -
Verktøy for evaluering av brukergrensesnitt for bibliografisk informasjon
(Master thesis, 2010)I denne oppgaven skal jeg se på logging generelt og logging på Verdensveven spesielt for å lage et verktøy som kan logge brukeraktiviteter i en helt vanlig nettleser uten å benytte ekstra utstyr.I første omgang gjennomføres ... -
Verktøy for helhetlig risikostyring og informasjonssikkerhet: Bruk av Return on Security Investment for kost/nytte-analyse av investeringer i informasjonssikkerhet
(Master thesis, 2008)Investeringer i informasjonssikkerhet utgjør i dag en stor del av organisasjoners investeringer. På bakgrunn av dette er det økende etterspørsel etter kost/nytte-analyser for investeringer i informasjonssikkerhet. ... -
Verktøyintegrasjon i åpen kildekode-utvikling
(Master thesis, 2006)Denne oppgaven ser på verktøyintegrasjon i åpen kildekode-utvikling. Dette utviklingsparadigmet viser seg å i liten grad ha adoptert tradisjonelle programvareutviklingsmetoder. I stedet står sosio-tekniske prosesser og ... -
Verktøystøtte i Microsoft SharePoint for Concurrent Design : Forskning og utvikling av teknologisk prosjektverktøy for bruk i Concurrent Design
(Master thesis, 2016-07-06)I komplekse prosesser for produktutvikling kommer man ikke foruten et samspill mellom flere mennesker. Godt og effektivt samarbeid mellom mennesker i prosjekter er kanskje den viktigste faktoren for et vellykket ... -
Vern av transformatorer i distribusjonsnettet mot lynoverspenninger
(Master thesis, 2020)Transformatorer i distribusjonsnettet er spesielt utsatt for lynoverspenninger, og havari på grunn av lyn er en hyppig avbruddsårsak. Det norske distribusjonsnettet består i stor grad av transformatorer med isolerte ...