seL4 probably isn't the best target for an attack. Attacking the underlying hardware, or the application running on top of seL4 is going to be easier, as both o

seL4 probably isn't the best target for an attack. Attacking the underlying hardware, or the application running on top of seL4 is going to be easier, as both of them is going to be more complex and likely to not be formally verified.