Tweetovi

Blokirali ste korisnika/cu @efrmv

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @efrmv

  1. prije 16 sati

    Custom kernel for Samsung S10 (SM-G973F) with integrated Magisk Integration with GitHub Actions. Build your kernel from a browser!

    Poništi
  2. 5. velj

    Tether Unblock - Magisk Module for bypassing tethering blocking by mobile operators

    Poništi
  3. 4. velj

    Enable Eng - Magisk Module for enabling engineering build settings

    Poništi
  4. 2. velj

    SELinux Permissive - Magisk Module for enabling permissive mode

    Poništi
  5. 30. sij

    ADB Root - Magisk Module to run adbd daemon from root ("adb root")

    Poništi
  6. 23. sij

    D. Efremov, I. Shchepetkov "Runtime Verification of Linux Kernel Security Module"

    Poništi
  7. 20. stu 2019.

    Minor out-of-bounds read in smk_set_cipso() root$ echo "test 1" > /sys/fs/smackfs/cipso2

    Prikaži ovu nit
    Poništi
  8. 20. stu 2019.
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    26. srp 2019.

    CVE-2019-14283 In the Linux kernel before 5.2.3, set_geometry in drivers/block/floppy.c does not validate the sect and head fields, as demonstrated by an integer overflow and out-of-bounds read. It can be triggered by an unprivileged local user when a f...

    Poništi
  10. proslijedio/la je Tweet
    26. srp 2019.

    CVE-2019-14284 In the Linux kernel before 5.2.3, drivers/block/floppy.c allows a denial of service by setup_format_params division-by-zero. Two consecutive ioctls can trigger the bug: the first one should set the driv...

    Poništi
  11. 18. srp 2019.
    Poništi
  12. 18. srp 2019.

    Floppy description for syzkaller. Reveals pretty old kernel bugs

    Poništi
  13. Poništi
  14. 11. srp 2019.

    New edition of "ACSL by Example". New examples, inconsistencies fixes, refactoring of specifications, support for AstraVer and more

    Poništi
  15. 11. srp 2019.

    The verification results from the paper "Formal Verification of a Memory Allocation Module of Contiki with Frama-C: a Case Study" Frédéric Mangano, Simon Duquennoy, Nikolai Kosmatov were merged to the Contiki-NG tree

    Poništi
  16. 11. srp 2019.

    Our presentation from Frama-C & SPARK Day 2019 "Continuous deductive verification with Frama-C" Denis Efremov, Jens Gerlach The demo is here:

    Poništi
  17. 13. velj 2019.

    It's very funny that latest Fedora kernel crashes while trying to connect to "eduroam" Wi-Fi on MacBookPro12, nl80211 driver. I thought that nowadays it's impossible. My failed presentation on a meetup, bug things happens)

    Poništi
  18. 30. sij 2019.

    The presentation from the ISoLA18 conference. "Deductive verification of unmodified Linux kernel library functions"

    Poništi
  19. proslijedio/la je Tweet
    11. stu 2018.

    Our paper "ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS" is now finalized Four ISA specs complete enough that they can boot Linux/FreeBSD/seL4. Backends for three theorem provers (plus C and OCaml). Proofs, typesystems and more.

    Poništi
  20. proslijedio/la je Tweet
    26. lis 2018.
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·