Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code von Møller, Bjarke Hilmer, Søndergaard, Jacob Gosch, Jensen, Kristoffer Skagbæk, Pedersen, Magnus Winkel, Bøgedal, Tobias Worm, Christensen, Anton, Poulsen, Danny Bøgsted, Larsen, Kim Guldstrand, Hansen, René Rydhof, Jensen, Thomas Rosted, Madsen, Heino Juvoll, Uhrenfeldt, Henrik

Volltext

Structure of the human ClC-1 chloride channel von Wang, Kaituo, Preisler, Sarah Spruce, Zhang, Liying, Cui, Yanxiang, Missel, Julie Winkel, Grønberg, Christina, Gotfryd, Kamil, Lindahl, Erik, Andersson, Magnus, Calloe, Kirstine, Egea, Pascal F, Klaerke, Dan Arne, Pusch, Michael, Pedersen, Per Amstrup, Zhou, Z Hong, Gourdon, Pontus

Volltext