224 search results - page 13 / 45 » An Information Flow Verifier for Small Embedded Systems |
98
Voted
IWNAS
2008
IEEE
15 years 6 months ago
2008
IEEE
∗ As one type of stealthy and hard-to-detect attack, lowrate TCP-targeted DDoS attack can seriously throttle the throughput of normal TCP flows for a long time without being noti...
100
click to vote
ECCC
2010
14 years 10 months ago
2010
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
101
click to vote
RTCSA
2000
IEEE
15 years 4 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Unlike the common belief that knowledge flows mainly along the formal organizational hierarchy, recent research has pointed out an informal social network among organizational mem...
111
Voted
DAC
2007
ACM
16 years 20 days ago
2007
ACM
Many embedded systems contain resource constrained microcontrollers where applications, operating system components and device drivers reside within a single address space with no...