Proceedings of the 2023 Workshop on Decentralized Finance and Security