'Orte des Grauens' – Sonderbestattungen in der mittelalterlichen und frühneuzeitlichen Lebenswelt

Scientific Conference (2012, May 21)

Orthographie als soziale Praxis: Verschriftungslösungen des Okzitanischen

in Peter, Cichon; Barbara, Czernilofsky; Robert, Tanzmeister (Eds.) et al Entgrenzungen. Für eine Soziologie der Kommunikation. Festschrift für Georg Kremnitz zum 60. Geburtstag. (2005)

Orthonormal MRA wavelets: Spectral formulas and algorithms

in International Journal of Wavelets, Multiresolution and Information Processing (2012), 10(1),

Orthorectified Polar Format Algorithm for Generalized Spotlight SAR Imaging With DEM

in IEEE Transactions on Geoscience and Remote Sensing (2020)

Os avós na literatura infantil: perspectivas gerontológicas e educacionais

Scientific Conference (2016, July 19)

Oscillations in the magnetoconductance autocorrelation function for ballistic microstructures

in Physical Review. B : Condensed Matter (1998), 57(16), 9875-9878

We present a comparison between experiment and theory for the magnetoconductance autocorrelation function C(Delta B) for transport through a stadium-shaped ballistic microstructure. The correlation ... [more ▼]

We present a comparison between experiment and theory for the magnetoconductance autocorrelation function C(Delta B) for transport through a stadium-shaped ballistic microstructure. The correlation function displays damped oscillations which can be traced to the quantum interference between bundles of short trajectories. We present two different semiclassical calculations applicable for large and small mode numbers of the quantum wire, respectively. Good agreement is found with experimental data taken at relatively low mode numbers. [S0163-1829(98)03316-5]. [less ▲]

Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts

in 34th Annual Computer Security Applications Conference (ACSAC ’18), San Juan, Puerto Rico, USA, December 3-7, 2018 (2018, December)

The capability of executing so-called smart contracts in a decentralised manner is one of the compelling features of modern blockchains. Smart contracts are fully fledged programs which cannot be changed ... [more ▼]

The capability of executing so-called smart contracts in a decentralised manner is one of the compelling features of modern blockchains. Smart contracts are fully fledged programs which cannot be changed once deployed to the blockchain. They typically implement the business logic of distributed apps and carry billions of dollars worth of coins. In that respect, it is imperative that smart contracts are correct and have no vulnerabilities or bugs. However, research has identified different classes of vulnerabilities in smart contracts, some of which led to prominent multi-million dollar fraud cases. In this paper we focus on vulnerabilities related to integer bugs, a class of bugs that is particularly difficult to avoid due to some characteristics of the Ethereum Virtual Machine and the Solidity programming language. In this paper we introduce Osiris – a framework that combines symbolic execution and taint analysis, in order to accurately find integer bugs in Ethereum smart contracts. Osiris detects a greater range of bugs than existing tools, while providing a better specificity of its detection. We have evaluated its performance on a large experimental dataset containing more than 1.2 million smart contracts. We found that 42,108 contracts contain integer bugs. Be- sides being able to identify several vulnerabilities that have been reported in the past few months, we were also able to identify a yet unknown critical vulnerability in a couple of smart contracts that are currently deployed on the Ethereum blockchain. [less ▲]

Osmotic compression of droplets of hard rods: A computer simulation study

in Journal of Chemical Physics (2009), 130(16),

Ostarbeiterinnen and War Memory

Presentation (2008)

Ostbelgien und die europäische Einheit des Gegensätzlichen: Europa im Widerstreit von Abschottung und grenzenloser Öffnung

in Lejeun, Carlo; Fickers, Andreas; Cremer, Freddy (Eds.) Spuren in die Zukunft: Anmerkungen zu einem bewegten Jahrhundert (2001)