More Like this

1. Scan Stack: A Search-based Concurrent Stack for GPU

   https://doi.org/10.1145/3564746.3587018  

   South, Noah; Jang, Byunghyun (April 2023, ACMSE 2023: Proceedings of the 2023 ACM Southeast Conference)
2. Stack-Aware Hyperproperties

   https://doi.org/10.1007/978-3-031-30823-9_16  

   Bajwa, Ali; Zhang, Minjian; Chadha, Rohit; Viswanathan, Mahesh (January 2023, Springer Nature Switzerland)

   Abstract A hyperproperty relates executions of a program and is used to formalize security objectives such as confidentiality, non-interference, privacy, and anonymity. Formally, a hyperproperty is a collection of allowable sets of executions. A program violates a hyperproperty if the set of its executions is not in the collection specified by the hyperproperty. The logicHyperCTL*has been proposed in the literature to formally specify and verify hyperproperties. The problem of checking whether a finite-state program satisfies aHyperCTL*formula is known to be decidable. However, the problem turns out to be undecidable for procedural (recursive) programs. Surprisingly, we show that decidability can be restored if we consider restricted classes of hyperproperties, namely those that relate only those executions of a program which have the same call-stack access pattern. We call such hyperproperties,stack-aware hyperproperties.Our decision procedure can be used as a proof method for establishing security objectives such as noninference for recursive programs, and also for refuting security objectives such as observational determinism. Further, if the call stack size is observable to the attacker, the decision procedure provides exact verification. 

   more » « less
3. Toward End-to-End, Full-Stack 6G Terahertz Networks

   https://doi.org/10.1109/MCOM.001.2000224  

   Polese, Michele; Jornet, Josep Miquel; Melodia, Tommaso; Zorzi, Michele (November 2020, IEEE Communications Magazine)

   null (Ed.)
4. Optimization of Suzuki Stack Circuit to Reduce Power Dissipation

   https://doi.org/10.1109/TASC.2022.3192202  

   Mustafa, Yerzhan; Kose, Selcuk (November 2022, IEEE Transactions on Applied Superconductivity)
5. The Taming of the Stack: Isolating Stack Data from Memory Errors

   Huang, Kaiming; Huang, Yongzhe; Payer, Mathias; Qian, Zhiyun; Sampson, Jack; Tan, Gang; Jaeger, Trent (April 2022, Internet Society)