Phương pháp GLIFT truyền thống chỉ sử dụng nhãn nhị phân để theo dõi luồng thông tin, gây hạn chế trong việc phân tích các luồng đồng thời. Tài liệu này đề xuất mô hình GLIFT đa luồng sử dụng mã hóa one-hot để theo dõi chính xác từng bit dữ liệu ảnh hưởng đến đầu ra. Phương pháp này được áp dụng cho các mạch mật mã như AES và RSA, cho phép xác minh định lượng các thuộc tính bảo mật. Kết quả thực nghiệm cho thấy mô hình mới có khả năng mở rộng tốt, độ phức tạp tăng tuyến tính theo số luồng, và hiệu suất xác minh được cải thiện đáng kể. Ngoài ra, tài liệu còn trình bày phương pháp xây dựng logic theo dõi luồng đa luồng từ các cổng logic cơ bản, giúp triển khai hiệu quả trên các thiết kế lớn.