• 

  Microkernel seL4: beweisbar fehlerfrei | heise online

  https://www.heise.de/newsticker/meldung/Microkernel-seL4-beweisbar-fehlerfrei-2277750.html

  SeL4 soll laut den Entwicklern der erste Allzweck-Kernel sein, dessen Korrektheit formal bewiesen ist. Der Microkernel läuft auf ARM- und x86-Hardware.

• 

  Firefox 27 verschlüsselt mit TLS 1.2 | heise online

  https://www.heise.de/newsticker/meldung/Firefox-27-verschluesselt-mit-TLS-1-2-2105377.html

  Mozilla hat Version 27 von Firefox veröffentlicht. Der Webbrowser unterstützt nun die Verschlüsselung mit TLS 1.2 sowie Googles Übertragungsprotokoll SPDY 3.1.

• 

  Sicherheitslücke bei SSL-Bibiliotheken | heise online

  https://www.heise.de/newsticker/meldung/Sicherheitsluecke-bei-SSL-Bibiliotheken-74999.html

  Schweizer Wissenschaftler haben eine seit längerem bekannte theoretische Attacke gegen SSL -- Standardverfahren zur Absicherung von Online-Banking und e-Commerce -- jetzt praktisch nachgewiesen.

• 

  Kampf gegen Domain-Tasting erfolgreich | heise online

  https://www.heise.de/newsticker/meldung/Kampf-gegen-Domain-Tasting-erfolgreich-751233.html

  Durch eine kleine Änderung ihrer Gebührenordnung ist es der ICANN gelungen, die Abzocke durch massenhafte Domain-Registrierung aus der Welt zu schaffen.

• 

  Hot Chips: Details zu AMDs Zwölfkerner | heise online

  https://www.heise.de/newsticker/meldung/Hot-Chips-Details-zu-AMDs-Zwoelfkerner-752813.html

  AMD hat ein paar Details zur CPU-Fassung und den HyperTransport-Links des 12-Kern-Prozessors Magny-Cours verraten.

• 

  Beatles geben spätes Debüt bei iTunes | heise online

  https://www.heise.de/newsticker/meldung/Beatles-geben-spaetes-Debuet-bei-iTunes-1137412.html

  Nach jahrelangen Verhandlungen kann Apple auch die Beatles ins Repertoire des iTunes Store aufnehmen: Die Musik der Fab Four ist nun beim weltgrößten Musikverkäufer zu finden.

• 

  YouTube bald ohne Musikvideos von Warner | heise online

  https://www.heise.de/newsticker/meldung/YouTube-bald-ohne-Musikvideos-von-Warner-191798.html

  Die Warner Music Group will der zu Google gehörenden Video-Plattform YouTube die Erlaubnis entziehen, Filmclips der bei WMG unter Vertrag stehenden Künstler zu zeigen.

• 

  PC-Spiel wegen Bundesadler unter Beschuss | heise online

  https://www.heise.de/newsticker/meldung/PC-Spiel-wegen-Bundesadler-unter-Beschuss-26619.html

  Wegen einer "stillosen" Szene in einem Computerspiel hat die Bonner Verwertungsgesellschaft Bild-Kunst gegen den Hersteller rechtliche Schritte eingeleitet.

• 

  Bayern stellt Sexualstraftäterdatei vor | heise online

  https://www.heise.de/newsticker/meldung/Bayern-stellt-Sexualstraftaeterdatei-vor-131152.html

  In München wurde gestern die seit Oktober in Bayern existierende Sexualstraftäterdatei Justizministern aus sieben Bundesländern präsentiert.

• 

  Arcor testet VDSL in Thüringer Gemeinde | heise online

  https://www.heise.de/newsticker/meldung/Arcor-testet-VDSL-in-Thueringer-Gemeinde-217119.html

  Im Rahmen eines technischen Feldversuchs bringt die Vodafone-Tochter Breitband-Zugänge in die bisher DSL-freie Gemeinde Ballstädt im Landkreis Gotha.

---

---